J. Knoop:
"The 'Software Analysis and Verification' Column";
European Association of Software Science and Technology (EASST) Newsletters (invited), Volume 10 (2005), 1; 2 pages.
http://aleph.ub.tuwien.ac.at/F?base=tuw01&func=find-c&ccl_term=AC05936448