Bentley, J.L. and M. Shaw, An Alphard Specification of a Correct and Efficient Transformation on Data Structures, Specifications of Reliable Software Proceedings, pp222-237, IEEE, April 1979 (1979) |
Languages mentioned
- Alphard {1974} Pascal with data abstraction
|
|