Suggestions about a specification technique
B.D. Chaudhary, H.V. Sahasrabuddhe · ACM SIGPLAN Notices · 1978
In this note, we suggest some modifications in a specification technique of abstract data structures. These modifications will enhance its power to specify the delayed effects, exception handling strategy and any other computational properties.