Pagination of B*-Trees with Variable-Length Records.
Logic and Programming Languages.
The GRE Advanced Test in Computer Science.
Some New Upper Bounds on the Generation of Prime Numbers.
Complexity of Computations.
Hardware Estimation of Process' Primary Memory Requirements.
An Analysis of Inline Substitution for a Structured Programming Language.