Text this: Abstract Data Types and Software Validation.