Formal derivation of strongly correct concurrent programs (1979)

by A van Lamsweerde, M Sintzoff
Venue:Acta Informatica