What good is temporal logic (1983)

by Leslie Lamport
Venue:Proceedings of the IFIP Congress on Information Processing