Title: Abstract data types and Modula-2