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