Lehmann, N. J. (1977). Methodik der Programmierung und Programmverifikation. Teil 1: Vorträge von der thematischen Konferenz KNWWT, 1977. Technická univerzita.
Chicago-Zitierstil (17. Ausg.)Lehmann, N. J. Methodik Der Programmierung Und Programmverifikation. Teil 1: Vorträge Von Der Thematischen Konferenz KNWWT, 1977. Dresden: Technická univerzita, 1977.
MLA-Zitierstil (9. Ausg.)Lehmann, N. J. Methodik Der Programmierung Und Programmverifikation. Teil 1: Vorträge Von Der Thematischen Konferenz KNWWT, 1977. Technická univerzita, 1977.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.