Robert Balzer Neil M. Goldman David Wile Informality in program specifications. 671-672 1978 AFIPS National Computer Conference conf/afips/1978 db/conf/afips/ncc78.html#BalzerGW78