LAMPORT, L. Sometime is sometimes not never On the temporal logic of programs. In Conference Record of the 7th Annual ACM Symposium on Principles of Programming Languages, LaB Vegas, Nev., Jan. 28-30, 1980, pages 174-185.
author author title title title title title title title title title title title booktitle booktitle booktitle booktitle booktitle booktitle booktitle booktitle booktitle booktitle booktitle booktitle booktitle booktitle location location location date date date pages pages