MODULA-2: CONSTRUCTIVE PROGRAM DEVELOPMENT - MARSHALL,I, MESSER,P.A (BPC LONDON, 1986)