"Larch: Languages and Tools for Formal Specification" - читать интересную книгу автора (John Guttag)