Software Process Machines: A Framework for Future Software Development Environments. - Pasquale Armenise (ESEC, 1989)

A Structured Approach to Program Optimization. - Pasquale Armenise (IEEE Trans. Software Eng., 1989)

Software Processes Representation Languages: Survey and Assessment. - Pasquale Armenise; Sergio Bandinelli; Carlo Ghezzi; Angelo Morzenti (SEKE, 1992)

A Survey and Assessment of Software Process Representation Formalisms. - Pasquale Armenise; Sergio Bandinelli; Carlo Ghezzi; Angelo Morzenti (Int. J. Softw. Eng. Knowl. Eng., 1993)