Software engineering with OBJ algebraic specification in action - Goguen, Joseph., Ed. (Boston Kluwer Academic, 2000)
Keywords: Software engineering; Functional programming languages