Methodik der Programmierung und Programmverifikation. Teil 1 : Vorträge von der thematischen Konferenz KNWWT, 1977 - Lehmann, N. J. (Sektion Mathematik, 1977)