Informality in Program Specifications

Robert Balzer, Neil M. Goldman, David S. Wile. Informality in Program Specifications. In IJCAI. pages 389-397, 1977.

Abstract

Abstract is missing.