A new protocol for concurrency control using both preventive and corrective techniques

An introduction to computer science using Java

1998

On the covering problem for unambiguous context-free grammars

On the strong covering problem for LR(k) grammars

Parallel compilation in a multiprocessor environment