Formal Derivation of Strongly Correct Concurrent Programs.

Axel van Lamsweerde Michel Sintzoff Formal Derivation of Strongly Correct Concurrent Programs. 1-31 1979 12 Acta Inf. db/journals/acta/acta12.html#LamsweerdeS79