The theory of invertible algorithmsGianni AguzziRAIRO. Inform. théor., 15 3 (1981) 253-279DOI: https://doi.org/10.1051/ita/1981150302531
