"D. Ph. Cartwright"@cs .