1. ISO/DP 7185, Specifications for the Computer Programming Language Pascal, Sections 6.4.3.3 and 6.5.3.3
2. and , ‘Exponential improvement of exhaustive backtracking: data structure and implementation’, Proc. 6th Conference on Automated Deduction, New York, 1982, pp. 240–259.
3. An adaptive system for dynamic storage allocation
4. A heap-based implementation of the programming language Pascal