Keld Bodker Roskilde University Centre Computer Science Dept. Postbox 260 DK-4000 Roskilde Denmark Telephone +45 4675 7711
