Methodik der Programmierung und Programmverifikation. Teil 2 : Vorträge von der thematischen Konferenz KNWWT, 1977 - Radenski, Atanas Atanasov (Sektion Mathematik, 1977)