| title | ISBN-13 (ISBN-10) | year of publica- tion | other author(s) | |
|---|---|---|---|---|
| Language Engineering and Rigorous Software Development: International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, ... / Programming and Software Engineering) | 978-3-642-03152-6 (3-642-03152-8) | 2010 | Ana Bove · Luis Soares Barbosa · Alberto Pardo | |
| Rigorous Software Development: An Introduction to Program Verification | 978-0-85729-017-5 (0-85729-017-7) | 2011 | José Bacelar Almeida · Maria João Frade |
J. P. · J. S. · J. S. Pinto · J. Sousa · J. Sousa Pinto · JORGE PINTO · Jorge Sousa · S. P. · S. Pinto · Sousa Pinto