On the implementation of construction functions for non-free concrete data types (2007)

by F BLANQUI, T HARDIN, P WEIS
Venue:in "Proceedings of the 16th European Symposium on Programming, Lecture Notes in Computer Science 4421