=============================================================================

        ERRATA-CORRIGE of past editions.       They may be incomplete.

█    (QI-1) Errata-Corrige. Pettorossi, A.: Quaderni di Informatica. Parte I, UniTor, 1991.  

█    (ECP-1) Errata-Corrige. Pettorossi, A.: Elements of Concurrent Programming, Aracne, 2004. No longer available.
█    (ECP-2) Errata-Corrige. Pettorossi, A.: Elements of Concurrent Programming, Second Edition, Aracne, 2005.
█    (ECP-2.2) Errata-Corrige. Pettorossi, A.: Elements of Concurrent Programming, Second Edition, Second Reprint, Aracne, 2005.  

█    (PCLP-1) Errata-Corrige. Pettorossi, A., Proietti, M.: First Order Predicate Calculus and Logic Programming, Aracne, 2002.
█    (PCLP-2) Errata-Corrige. Pettorossi, A., Proietti, M.: First Order Predicate Calculus and Logic Programming, Second Edition, Aracne, 2005.

█    (CDC-1) Errata-Corrige. Pettorossi, A.: Elements of Computability, Decidability, and Complexity, Aracne, 2006.  
█    (CDC-2) Errata-Corrige. Pettorossi, A.: Elements of Computability, Decidability, and Complexity, Second Edition, Aracne, July 2007.
█   (CDC-3) Errata-Corrige. Pettorossi, A.: Elements of Computability, Decidability, and Complexity, Third Edition, Aracne, October 2009. Revised Section 9.1

█    (ATFL-1) Errata-Corrige. Pettorossi, A.: Automata Theory and Formal Languages, Aracne, 2006. 
█   (ATFL-1.1) Errata-Corrige. Pettorossi, A.: Automata Theory and Formal Languages, Aracne, March 2007. 
█    (ATFL-1.2) Errata-Corrige. Pettorossi, A.: Automata Theory and Formal Languages, Aracne, December 2007.
█    (ATFL-1.3) Errata-Corrige. Pettorossi, A.: Automata Theory and Formal Languages, Aracne, III Reprint, June 2008.
█    (ATFL-2) Errata-Corrige. Pettorossi, A.: Automata Theory and Formal Languages, Second Edition, Aracne, July 2009.
█    (ATFL-3) Errata-Corrige. Pettorossi, A.: Automata Theory and Formal Languages. Third Edition Aracne, 2011.

█    (SPM-1) Errata-Corrige. Pettorossi, A.: Techniques for Searching, Parsing, and Matching, Aracne, September 2008.
█    (SPM-2) Errata-Corrige. Pettorossi, A.: Techniques for Searching, Parsing, and Matching, Second Edition, Aracne, July 2009.
█   (SPM-3) Errata-Corrige. Pettorossi, A.: Techniques for Searching, Parsing, and Matching, Third Edition, Aracne, 2011.

█    (SPL-1) Errata-Corrige. Pettorossi, A.: Semantics of Programming Languages, Aracne, 2010.

=============================================================================