"The B-Book: Assigning Programs to Meanings" - читать интересную книгу автора (J. R. Abrial)