Reinecke, R. (1985). Hoares communicating sequential processes: Erweiterung des Spurenmodells.
Chicago-Zitierstil (17. Ausg.)Reinecke, Rüdiger. Hoares Communicating Sequential Processes: Erweiterung Des Spurenmodells. 1985.
MLA-Zitierstil (9. Ausg.)Reinecke, Rüdiger. Hoares Communicating Sequential Processes: Erweiterung Des Spurenmodells. 1985.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.