Leslie Lamport. TIMESETS -- A New Method for Temporal Reasoning about Programs. In Dexter Kozen, editor, Logics of Programs, Workshop, Yorktown Heights, New York, May 1981. Volume 131 of Lecture Notes in Computer Science, pages 177-196, Springer, 1981.
@inproceedings{Lamport81:0,
title = {TIMESETS -- A New Method for Temporal Reasoning about Programs},
author = {Leslie Lamport},
year = {1981},
researchr = {https://researchr.org/publication/Lamport81%3A0},
cites = {0},
citedby = {0},
pages = {177-196},
booktitle = {Logics of Programs, Workshop, Yorktown Heights, New York, May 1981},
editor = {Dexter Kozen},
volume = {131},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-11212-X},
}