A Specification Method for Specifying Data and Procedural Abstractions
Billy G. Claybrook · IEEE Transactions on Software Engineering · 1982
A specifilcation method designed primarily for specifying data abstractions, but suitable for specifying procedural abstractions as well, is described. The specification method is based on the abstract model approach to specifying abstractions. Several data abstractions and procedural abstractions are specified and a proof of implementation correctness is given for one of the data abstractions–a symbol table.