Data types as algorithmsM. A. Nait AbdallahRAIRO. Inform. théor., 18 1 (1984) 3-22DOI: https://doi.org/10.1051/ita/1984180100031
