doctoral thesis by Michael Joseph Feeley, Computer Science & Engineering, University of Washington, 1996