"Peter Hirt"@cs .