LISA: A New Symbolic Package for the Definition, Analysis and Resolution of Markovian Processes: Symbolic and Inductive Techniques. - Francesco Marinuzzi; Stefano Soliani (ISSAC, 1992)

LISPACK-A Methodology and Tool for the Performance Analysis of Parallel Systems and Algorithms. - Giuseppe Iazeolla; Francesco Marinuzzi (IEEE Trans. Software Eng., 1993)