Rigorous Software Development by José Bacelar Almeida, Paperback | Indigo Chapters