Abstract data types and Modula-2 | lit.salon