A characterisation of computable data types by means of a finite equational specification method (1980)

by J A Bergstra, J V Tucker
Venue:7th International Colloquium on Automata, Languages and Programming