Conscientious Programming Using PMA. - Guy Barker; Douglas J. Keenan; Herman van Loon (APL, 1990)