Jürgen F. H. Winkler. Formale Definition der Semantik von Prozessoperationen. In Jürgen Nehmer, editor, Implementierungssprachen für nichtsequentielle Programmsysteme, Tagung I/1981 des German Chapter of the ACM am 20.2.1981 in Kaiserslautern. Volume 7 of Berichte des German Chapter of the ACM, pages 26-36, Teubner, 1981.
@inproceedings{Winkler81:0,
title = {Formale Definition der Semantik von Prozessoperationen},
author = {Jürgen F. H. Winkler},
year = {1981},
researchr = {https://researchr.org/publication/Winkler81%3A0},
cites = {0},
citedby = {0},
pages = {26-36},
booktitle = {Implementierungssprachen für nichtsequentielle Programmsysteme, Tagung I/1981 des German Chapter of the ACM am 20.2.1981 in Kaiserslautern},
editor = {Jürgen Nehmer},
volume = {7},
series = {Berichte des German Chapter of the ACM},
publisher = {Teubner},
isbn = {3-519-02426-8},
}