The theory of invertible algorithms Gianni Aguzzi RAIRO. Inform. théor., 15 3 (1981) 253-279 Published online: 01 February 2017 DOI: 10.1051/ita/1981150302531