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