Sometime’ is Sometimes ‘Not Never- A Tutorial on the Temporal Logic of Programs (1980)

by L Lamport
Venue:Proc. of the ‘@ Annual ACMSympoaium on Principles of Programming Language6