ir.cwi.nl/pub/5998/…