BOOKS 2008 A. Baruzzo, A Unified Framework for Automated UML Model Analysis, PhD Thesis, University of Udine, April 2008. Publisher: Forum, Udine, Italy. 2006 Italian translation of: Deitel, “Java Tecniche avanzate di programmazione 3/E”, ISBN: 88-503-2389-1, 2006, Publisher: Apogeo, Milano, Italy 2005 Italian translation of: Deitel, “Java Fondamenti di programmazione 3/E”, ISBN: 88-503-2388-3, 2005, Publisher: Apogeo, Milano, Italy