"David A. Armstrong"@cs .