Robert Balzer Neil M. Goldman David S. Wile Informality in Program Specifications. 94-103 1978 4 IEEE Trans. Software Eng. 2 db/journals/tse/tse4.html#BalzerGW78