Formalization in Program Development

Peter Naur. Formalization in Program Development. BIT, 22(4):437-453, 1982.

Abstract

Abstract is missing.