doctoral thesis by Jeffrey Adgate Dean, Computer Science & Engineering, University of Washington, 1996