"Peter J. Denning"@cs .