J. Knoop: "The Software Analysis and Verification Column"; European Association of Software Science and Technology (EASST) Newsletters, Vol. 13 (2006), No. 1; 10 - 13.