What good is temporal logic? In (1983)

by Leslie Lamport
Venue:Information Processing 83: Proceedings of the IFIP 9th World Congress,