Verification of sequential and concurrent programs - Apt K R; Olderog Ernst-Rudiger (N Y Springer Verlag, 1991)
Keywords: concurrent programme; Programming techniques