アレン・エマーソン
↑ “ACM Turing Award Honors Founders of Automatic Verification Technology That Enables Faster, More Reliable Designs”. University of Texas (2008年2月4日). 2009年10月18日閲覧。
↑ “ACM Fellows Award / E Allen Emerson”. 2009年10月18日閲覧。
1 2 “Kanellakis Award”. Association for Computing Machinery (1999年3月26日). 2009年10月18日閲覧。
↑ Michael Huth and Mark Ryan (2004). Logic in Computer Science (Second Edition). Cambridge University Press. p. 207. ISBN 0-521-54310-X.