"Harry Buttimer"@cs .