Groote, J. F., & Ponse, A. (1990). Process algebra with guards: Combining Hoare logic with process algebra.
Chicago-Zitierstil (17. Ausg.)Groote, Jan F., und Alban Ponse. Process Algebra with Guards: Combining Hoare Logic with Process Algebra. Amsterdam, 1990.
MLA-Zitierstil (9. Ausg.)Groote, Jan F., und Alban Ponse. Process Algebra with Guards: Combining Hoare Logic with Process Algebra. 1990.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.