Automatic programming of finite state linear programs. Pumping lemmas for regular sets. Christos H. Papadimitriou . Worst-case and probabilistic analysis of a geometric location problem. Key comparison optimal 2-3 trees with maximum utilization.
Performance bounds for orthogonal oriented two-dimensional packing algorithms.
An average time analysis of backtracking. Sam Toueg and Jeffrey D. Ullman . Deadlock-free packet switching networks. Stephen A. Cook . Soundness and completeness of an axiom system for program verification.