Object-Oriented Distributed Systems Design Based on Temporal Logic C.T.I. Technical Report TR 91.03.06 - Keulen van, E.; Νούσια, Δώρα; Χριστοδουλάκης, Δημήτριος Νικ (Computer Technology Institute Ινστιτούτο Τεχνολογίας Υπολογιστών, 1991)
υπάρχουν άλλα 3 αντίτυπα