TY - GEN AU - Messer, P.A. AU - Marshall, I. TI - Modula 2 : constructive program development PY - 1986/// CY - Oxford PB - Blackwell Science ER -