"Unifying theories of programming" - читать интересную книгу автора (C.A.R. Hoare, He Jifeng)