Veri cation of Concurrent Programs: The Temporal Framework (1981)

by Z Manna, A Pnueli
Venue:Correctness Problem in Computer Science