This TR supersedes TR BU-CS-92-013.