M.: Formal Derivation of Strongly Correct Concurrent Programs (1979)

by A van Lamsweerde, Sintzoff
Venue:Acta Informatica