Title: Program correctness over abstract data types, with error-state semantics
Subjects: Abstract data types (Computer science), Computer programming