A note on some limits of the algebraic specification method
Douglas W. Jones · ACM SIGPLAN Notices · 1978
If the algebraic method for the specification of abstract data types and programming languages is to be of general utility, it must be possible to define any data type along with the operations on it. An algebraic definition for a data type previously posed as being undefinable by that method is presented, and questions about the utility of the result are considered.