Please see the revised version, WPI-CS-TR-92-5.