Birtwistle, G., & Moller, F. (1996). Logics for Concurrency: Structure versus Automata Proceedings of the VIIIth Banff Hegher Order Workshop Banff, Canada August 27-September 3 1994. Springer-Verlag.
Παραπομπή σε μορφή Chicago (17η εκδ.)Birtwistle, Graham, και Faron Moller. Logics for Concurrency: Structure Versus Automata Proceedings of the VIIIth Banff Hegher Order Workshop Banff, Canada August 27-September 3 1994. Berlin: Springer-Verlag, 1996.
Παραπομπή σε μορφή MLA (8th εκδ.)Birtwistle, Graham, και Faron Moller. Logics for Concurrency: Structure Versus Automata Proceedings of the VIIIth Banff Hegher Order Workshop Banff, Canada August 27-September 3 1994. Springer-Verlag, 1996.
Πρόσοχή: Οι παραπομπές μπορεί να μην είναι 100% ακριβείς.