@article{ITA_1981__15_3_253_0, author = {Aguzzi, Gianni}, title = {The theory of invertible algorithms}, journal = {RAIRO. Informatique th\'eorique}, pages = {253--279}, publisher = {EDP-Sciences}, volume = {15}, number = {3}, year = {1981}, mrnumber = {630065}, zbl = {0476.68027}, language = {en}, url = {http://www.numdam.org/item/ITA_1981__15_3_253_0/} }