A computation model for executable higher-order algebraic speci cation languages (1991)

by J-P Jouannaud, M Okada
Venue:In LICS