Sketches and parametrization (1994)

by Dominique Duval, Pascale Sénéchaud
Venue:Theoretical Computer Science