Rigorous Object-Oriented Methods, ROOM 2000, York, UK, 17 January 2000 ROOM Workshops in Computing BCS 2000 db/conf/room/room2000.html