| title | ISBN-13 (ISBN-10) | year of publica- tion | other author(s) |
|---|---|---|---|
| Formal Description Techniques and Protocol Specification, Testing and Verification | 978-0-412-84760-8 (0-412-84760-4) | 1998 | Stan Budkowski · Elie Najm |
| Mestieri d'arte e made in Italy. Giacimenti culturali da riscoprire | 978-88-317-9823-5 (88-317-9823-5) | 2009 | P. Colombo · G. Lanotte |
| SDL '97: Time for Testing: SDL, MSC and Trends | 978-0-444-82816-3 (0-444-82816-8) | 1997 | A. Sarma |
A.C. · A. Cavalli, G. Lanotte P. Colombo · A Cavalli-Wordel · Adele Cavalli · Alberto Cavalli · Alessandra Cavalli · Alessandra Cavalli-Wordel · Alessandro Cavalli · Ana Cavalli · Ana Rosa Cavalli
Chapman and Hall · Elsevier Science · Marsilio