A Comparison of Techniques for the Specification of External System Behavior.
Improving Locality of Reference in a Garbage-Collecting Memory Management System.
The Input/Output Complexity of Sorting and Related Problems.
Reading and Writing with Computers: A Framework for Explaining Differences in Performance.
Program Verification: The Very Idea.
Learning by Doing with Simulated Intelligent Help.
Comparison of Analysis Techniques for Information Requirement Determination.