doctoral thesis by Gail Cecile Murphy, Computer Science & Engineering, University of Washington, 1996