{\rtf1\ansi\deff0\deftab360 {\fonttbl {\f0\fswiss\fcharset0 Arial} {\f1\froman\fcharset0 Times New Roman} {\f2\fswiss\fcharset0 Verdana} {\f3\froman\fcharset2 Symbol} } {\colortbl; \red0\green0\blue0; } {\info {\author Biblio}{\operator }{\title Biblio RTF Export}} \f1\fs24 \paperw11907\paperh16839 \pgncont\pgndec\pgnstarts1\pgnrestart Crescenzi, P., C. Demetrescu, I. Finocchi, and R. Petreschi, "Reversible Execution and Visualization of Programs with LEONARDO", \i Journal of Visual Languages and Computing\i0 , vol. 11, no. 2: Academic Press, pp. 125-150, 04/2000.\par \par }