Relational properties of recursively defined datatypes (1993)

by A M Pitts
Venue:In 8th LICS Conf. IEEE