Fibrations and recursivityRichard MijouleRAIRO-Theor. Inf. Appl., 29 3 (1995) 193-208DOI: https://doi.org/10.1051/ita/1995290301931