Algebraic Specification in CLEAR

Chapter 11 introduced some of the basic concepts in algebraic approach to specification but primarily from the point of view of abstract data types. This chapter extends this discussion to the specification of systems in general. In this respect, it relies on the specification language CLEAR developed at the University of Edinburgh in the 70s and the 80s. Despite the absence of much activity in its development now, CLEAR serves our purpose quite well, that is, to illustrate the issues encountered in the construction of large algebraic specifications, obviously, dealing with more complex problems than simple data types.