- Marquis' Who's Who in the World,
19th Edition, 2002
URL: "http://www.marquiswhoswho.com/"- Marquis' Who's Who in the World,
17th Millenium Edition, 2000
URL: "http://www.marquiswhoswho.com/"- Outstanding People of the 20th Century,
Second Edition, 2000, International Biographical Centre, Cambridge, England.- Who's Who in Formal Methods
URL: "http://www.comlab.ox.ac.uk/archive/formal-methods/whos-who.html"- SIGACT TCS Virtual Address Book of Theoretical Computer Scientists
URL: "http://sigact.acm.org/tcs-address/woody.html"- ACM SIGDA Who's Who in Design Automation
URL: "http://jamaica.ee.pitt.edu/About/whos_who/"- HPSearch: Home Pages of Computer Scientists
URL: "http://pranger.uni-trier.de/hp/a-tree/141.html"- Home Pages of researchers in semantics, proofs and abstract interpretation
URL: "http://www.dmi.ens.fr/~cousot/researchers.shtml"