On the representation of datatypes (1995)

by N Völker
Venue:in Isabelle/HOL. Isabelle Users Workshop