A computation model for executable higher-order algebraic specification languages | IEEE Conference Publication | IEEE Xplore