TR 96-07-01 has appeared in IEEE Computer. In accordance with the terms of the copyright agreement, The TR has been withdrawn from this site. The IEEE Computer version is available at: http://pascal.computer.org/co/books/co1997/pdf/r8029.pdf