A Characterisation of Computable Data Types by Means of a Finite Equational Specification Method.

Jan A. Bergstra J. V. Tucker A Characterisation of Computable Data Types by Means of a Finite Equational Specification Method. 76-90 1980 conf/icalp/1980 ICALP db/conf/icalp/icalp80.html#BergstraT80 http://dx.doi.org/10.1007/3-540-10003-2_61