On the Implementation of Construction Functions for Non-free Concrete Data Types (2007)

by F Blanqui, T Hardin, P Weis
Venue:Lecture Notes In Computer Science, 4421:95