Checking Cyclic Pointers.
Multiprogramming and Memory Contention.
Interrupts.
Pretty-Printing of Trees.
Variable Number of Parameters in Typed Languages.
Page Replacement Algorithm for Large-array Manipulation.
SATHE: Some Aspects of an ALGOL Implementation.