Informality in Program Specifications

Robert Balzer, Neil M. Goldman, David S. Wile. Informality in Program Specifications. IEEE Trans. Software Eng., 4(2):94-103, 1978.

Abstract

Abstract is missing.