Martin Odersky MINOS: A New Approach to the Design of an Input/Output Library for Modula-2. 89-105 1989 10 Structured Programming 2 db/journals/stp/stp10.html#Odersky89