The Design of an Operating System for a Scalable Parallel Computing Engine.
Operational Definitions for System Requirements as the Basis of Design Automation.
Experiments with a Very Fast Substring Search Algorithm.
Floating-point Number LISP.
Path Testing of Computer Programs with Loops Using a Tool for Simple Loop Patterns.
A Note on Searching in a Binary Search Tree.
An Experimental Investigation of Distributed Matrix Multiplication Techniques.
Implementing Dynamic Minimal-prefix Tries.