Some extensions to algebraic specifications
Jhon V. Guttag, Ellis Horowitz, David R. Musser · ACM SIGPLAN Notices · 1977
Algebraic specifications of abstract data types are beginning to gain wide currency. In this paper we discuss an extension to this specification technique which allows the specification of procedures which alter their parameters, and various ways of handling the specification of error conditions.