Extended Primitive Recursive Functions. - Patrizia Mentrasti; M. Protasi (RAIRO Theor. Informatics Appl., 1982)

Generation of Invertible Functions. - G. Jacopini; Patrizia Mentrasti (Theor. Comput. Sci., 1989)

Reversible Turing Machines and Polynomial Time Reversibly Computable Functions. - G. Jacopini; Patrizia Mentrasti; G. Sontacchi (SIAM J. Discret. Math., 1990)

Some Results on Invertible Cellular Automata. - Andrea Clementi; Patrizia Mentrasti; Pierluigi Pierini (Complex Syst., 1995)

How to turn a second-order cellular automaton into a lattice gas: a new inversion scheme. - Tommaso Toffoli; Silvio Capobianco; Patrizia Mentrasti (Theor. Comput. Sci., 2004)

When-and how-can a cellular automaton be rewritten as a lattice gas? - Tommaso Toffoli; Silvio Capobianco; Patrizia Mentrasti (Theor. Comput. Sci., 2008)