Algebraic speci£cations of computable and semicomputable data types (1987)

by J A Bergstra, J V Tucker
Venue:Theoretical Computer Science