Which data types have !-complete initial algebra specifications (1994)

by J A Bergstra, J Heering
Venue:Theoretical Computer Science