"Peter Dibbens"@cs .