"Verification of sequential and concurrent programs" - читать интересную книгу автора (Apt K.R., de Boer F.S., Olderog E.-R. (eds.))