"Dod Procter"@cs .