Technical Report TR01-002 Department of Computer Science Texas A²M University March 11, 2001