Monografia (1987) Introduzione alla programmazione : sintassi semantica metodoMonografia (1995) Metodi e strumenti per il progetto del software