Moller, F., & Birtwistle, G. (1996). Logics for concurrency: Structure versus automata. Springer.
Παραπομπή σε μορφή Chicago (17η εκδ.)Moller, Faron, και Graham Birtwistle. Logics for Concurrency: Structure Versus Automata. Berlin: Springer, 1996.
Παραπομπή σε μορφή MLA (8th εκδ.)Moller, Faron, και Graham Birtwistle. Logics for Concurrency: Structure Versus Automata. Springer, 1996.
Πρόσοχή: Οι παραπομπές μπορεί να μην είναι 100% ακριβείς.