Abstract data type systems (1997)

by J-P Jouannaud, M Okada
Venue:Theoretical Computer Science