Characterization of computable data types by means of a equational speci method (1980)

by Jan Bergstra, John Tucker
Venue:Seventh Colloquium on Automata, Languages and Programming