MODULA - 2 : Discipline and design - Sale, Arthur (Addison-Wesley, 1986)