Rigorous Software Development by Almeida, José Bacelar Almeida & Simao Melo de Sousa