"The Spine of Software: Designing Provably Correct Software: Theory and Practice or a Mathematical Introduction to the Semantics of Computer Program" - читать интересную книгу автора (Robert Laurence Baber)