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

by Frédéric Blanqui, Thérèse Hardin, Pierre Weis
Venue:In 16th European Symposium on Programming, 24/03/2007