Annals of Improbable Research | , Vol 12: pp. 14-15
In September 2005, I had dinner with Andreas Podelski, who was visiting Microsoft’s Cambridge Research Laboratory. He mentioned that his home page was the fourth item returned by a Google search on his first name. His casual remark inspired the scientific research reported here.