"R.H. Petersen"@cs .