P. Maestrini

• Aritmetica dei calcolatori
• On the sequential diagnosibility of a class of digital systems