"Rigorous Software Development: An Introduction to Program Verification" - читать интересную книгу автора (José Bacelar Almeida, Maria João Frade, Jorge Sousa Pinto, Simão Melo de...)