Calendrical Calculations, II: Three Historical Calendars.
The Design and Implementation of Dynamic Hashing for Sets and Tables in Icon.
Generic Abstract Interpretation Algorithms for Prolog: Two Optimization Techniques and their Experimental Evaluation.
Practical Experience of the Limitations of Gprof.
An Evaluation of Self-adjusting Binary Search Tree Techniques.
Object Identification in the Lego Kernel.