(1996). Logics for concurrency: Structure versus automata ; [VIIth Banff Higher Order Workshop held from August 27th to September 3rd, 1994, at the Banff Centre in Banff, Canada]. Springer.
Chicago-Zitierstil (17. Ausg.)Logics for Concurrency: Structure Versus Automata ; [VIIth Banff Higher Order Workshop Held from August 27th to September 3rd, 1994, at the Banff Centre in Banff, Canada]. Berlin [u.a.]: Springer, 1996.
MLA-Zitierstil (9. Ausg.)Logics for Concurrency: Structure Versus Automata ; [VIIth Banff Higher Order Workshop Held from August 27th to September 3rd, 1994, at the Banff Centre in Banff, Canada]. Springer, 1996.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.