Abstract Data Types and Categorical Logic. - W. Di Palma; Gianfranco Mascari (ADT, 1983)

Automotive Microcontroller End-of-Line Test via Software-Based Methodologies. - W. Di Palma; Danilo Ravotto; Edgar E. Sánchez; Massimiliano Schillaci; Matteo Sonza Reorda; Giovanni Squillero (MTV, 2007)