"Ernest Bornemann"@cs .