"Bittius Proculus"@cs .