"Willem Marinus van Rossum"@cs . "Willema Marinuse van Rossuma"@cs .