Keulen van, E., Νούσια, Δ., & Χριστοδουλάκης, Δ. Ν. (1991). Object-Oriented Distributed Systems Design Based on Temporal Logic C.T.I. Technical Report TR 91.03.06. Computer Technology Institute Ινστιτούτο Τεχνολογίας Υπολογιστών.
Παραπομπή σε μορφή Chicago (17η εκδ.)Keulen van, E., Δώρα Νούσια, και Δημήτριος Νικ Χριστοδουλάκης. Object-Oriented Distributed Systems Design Based on Temporal Logic C.T.I. Technical Report TR 91.03.06. Patras Greece Πάτρα Ελλάδα: Computer Technology Institute Ινστιτούτο Τεχνολογίας Υπολογιστών, 1991.
Παραπομπή σε μορφή MLA (8th εκδ.)Keulen van, E., et al. Object-Oriented Distributed Systems Design Based on Temporal Logic C.T.I. Technical Report TR 91.03.06. Computer Technology Institute Ινστιτούτο Τεχνολογίας Υπολογιστών, 1991.
Πρόσοχή: Οι παραπομπές μπορεί να μην είναι 100% ακριβείς.