Roever, W. P. D., Ronzerbeg, G., & Bakker, J. W. d. (1989). Linear time, branching time and partial order in logics and models for concurrency. Springer-Verlag.
Παραπομπή σε μορφή Chicago (17η εκδ.)Roever, W. P. De, G. Ronzerbeg, και J. W. de Bakker. Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency. Berlin: Springer-Verlag, 1989.
Παραπομπή σε μορφή MLA (8th εκδ.)Roever, W. P. De, et al. Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency. Springer-Verlag, 1989.
Πρόσοχή: Οι παραπομπές μπορεί να μην είναι 100% ακριβείς.