Free objects and equational deduction for partial conditional specifications (1995)

by E Astesiano, M Cerioli
Venue:Theoretical Computer Science