Provably Correct Systems - He, J; Hoare, C; Fränzle, M; Müller−Olm, M; Olderog, E; Schenke, M; Hansen, M; Ravn, A; Rischel, H (Springer, 1994)