"Peter Rafael Bloch"@cs .