Rigorous Software Development An Introduction to Program Verification - Almeida, José Bacelar; Frade, Maria João; Pinto, Jorge Sousa; Melo de Sousa, Simão (Springer London : Imprint: Springer, 2011)