NATO Advanced Study Institute on Logics and Models of Concurrent Systems La Colle-sur-Loup, France, North Atlantic Treaty Organization. Scientific Affairs Division, & Apt, K. R. (1985). Logics and models of concurrent systems. Springer-Verlag.
Παραπομπή σε μορφή Chicago (17η εκδ.)NATO Advanced Study Institute on Logics and Models of Concurrent Systems La Colle-sur-Loup, France, North Atlantic Treaty Organization. Scientific Affairs Division, και Krzysztof R. Apt. Logics and Models of Concurrent Systems. Berlin ; New York: Springer-Verlag, 1985.
Παραπομπή σε μορφή MLA (8th εκδ.)NATO Advanced Study Institute on Logics and Models of Concurrent Systems La Colle-sur-Loup, France, et al. Logics and Models of Concurrent Systems. Springer-Verlag, 1985.
Πρόσοχή: Οι παραπομπές μπορεί να μην είναι 100% ακριβείς.