Sketches and parametrization (1994)

by Dominique Duval, Pascale Senechaud
Venue:Theoretical Computer Science