Algebraic specifications of computable and semicomputable data types, Theoretical Computer Science 50 (1987)

by J A Bergstra, J V Tucker