Georg Winterstein, Norbert Heck, Peter Trum. Prädikatenlogik als Basis für eine Spezifikationssprache. In Christiane Floyd, Hermann Kopetz, editors, Software Engineering - Entwurf und Spezifikation, Tagung II/1980 mit Workshop des German Chapter of the ACM vom 12. bis 16.9.1980 in Berlin. Volume 5 of Berichte des German Chapter of the ACM, pages 312-313, Teubner, 1980.
@inproceedings{WintersteinHT80,
title = {Prädikatenlogik als Basis für eine Spezifikationssprache},
author = {Georg Winterstein and Norbert Heck and Peter Trum},
year = {1980},
researchr = {https://researchr.org/publication/WintersteinHT80},
cites = {0},
citedby = {0},
pages = {312-313},
booktitle = {Software Engineering - Entwurf und Spezifikation, Tagung II/1980 mit Workshop des German Chapter of the ACM vom 12. bis 16.9.1980 in Berlin},
editor = {Christiane Floyd and Hermann Kopetz},
volume = {5},
series = {Berichte des German Chapter of the ACM},
publisher = {Teubner},
isbn = {3-519-02424-1},
}