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

Reversible Parallel Computation: An Evolving Space-Model. - G. Jacopini; G. Sontacchi (Theor. Comput. Sci., 1990)

General Recursive Functions in a Very Simply Interpretable Typed lambda-Calculus. - G. Jacopini; G. Sontacchi (Theor. Comput. Sci., 1993)