Modula-2 discipline & design - Sale, A. H. J. (Addison-Wesley, 1986)