WOLPER, P. Specifying interesting properties of programs in propositional temporal logic. In Proceedings of the 13th ACM Symposium on Principles of Programming Languages (Petersburg Beach, Fla., Jan. 1986). ACM, New York, 1986, pages 184-193.
author author title title title title title title title title title booktitle booktitle booktitle booktitle booktitle booktitle booktitle booktitle booktitle booktitle booktitle booktitle location location location date date publisher location location date pages pages