"P Wessels"@cs . "Peter Wessels"@cs .