Abstract Data Type Systems (1997)

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