M. Giese, A. Ireland, L. Kovacs:
"Introduction to the Special Issue on Invariant Generation and Advanced Techniques for Reasoning about Loops";
Journal of Symbolic Computation, 45 (2010), 11; 1097 - 1100.
http://publik.tuwien.ac.at/files/PubDat_192489.pdf