The design of PLAIN: support for systematic programming

Anthony I. Wasserman. The design of PLAIN: support for systematic programming. In American Federation of Information Processing Societies: 1980 National Computer Conference, 19-22 May 1980, Anaheim, California, USA. Volume 49 of AFIPS Conference Proceedings, pages 731-740, AFIPS Press, 1980. [doi]

Abstract

Abstract is missing.