Order-n Correction for Regular Languages.
On the Distributions of Significant Digits and Roundoff Errors.
The Treatment of Data Types in EL1.
More on Algorithms that Reveal Properties of Floating Point Arithmetic Units.
A Model for Masking Rotational Latency by Dynamic Disk Allocation.
Reduction of Compilation Costs Through Language Contraction.
A Design for a Number Theory Package with an Optimized Trial Division Routine.