More higher order programming in OBJ3 (2000)

by Joseph Goguen, Grant Malcolm
Venue:Software Engineering with OBJ: Algebraic Specification in Action