Fachsprachen und Programmverifikation : Vorträge aus dem Problemseminar, 1979 - Assmann, Werner (Technická univerzita, 1979)