Integer and signed constants in ALGOL. - Luigi Petrone; Carlo E. Vandoni (Commun. ACM, 1964)

Syntax Directed Mappings of Context-Free Languages - Luigi Petrone (SWAT, 1968)

DUAL: An Interactive Tool for Developing Documented Programs by Step-Wise Refinements. - Luigi Petrone; Antonio Di Leva; Franco Sirovich (ICSE, 1982)

Program Development and Documentation by Informal Transformations and Derivations. - Giovanna Petrone; Luigi Petrone (TAPSOFT, Vol.2, 1985)

KEYLINE: Software Productivity Tools for Program Design, Implementation, Documentation. - Maurizio Barioglio; G. Capella; I. Lupo; Luigi Petrone (IFIP Congress, 1986)

Reusing Batch Parsers as Incremental Parsers. - Luigi Petrone (FSTTCS, 1995)