"Willem van Haecht"@cs .