Title: Algebraic data types and program transformation
Subjects: Abstract data types (Computer science), Computer programs, Testing