doctoral thesis by Leslie Denise Pinnel Salisbury, Computer Science & Engineering, University of Washington, 2001