H.C.M. Kleijn Leiden University, Nertherlands Journal Fundamenta Informaticae ISSN: 01692968 Read Online