Abstract Data Technology