"John Wikner"@cs .