Bergstra, J. A., & Klop, J. W. (1987). ACP tau: A universal axiom system for process specification.
Chicago-Zitierstil (17. Ausg.)Bergstra, Jan A., und Jan Willem Klop. ACP Tau: A Universal Axiom System for Process Specification. Amsterdam, 1987.
MLA-Zitierstil (9. Ausg.)Bergstra, Jan A., und Jan Willem Klop. ACP Tau: A Universal Axiom System for Process Specification. 1987.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.