Title: Algebraic specification
Subjects: Abstract data types (Computer science)