The theory of invertible algorithms Gianni Aguzzi — 1981 RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications