M. Giese, A. Ireland, L. Kovacs: "Special Issue on Invariant Generation and Advanced Techniques for Reasoning about Loops"; in series "Journal of Symbolic Computation", series editor: H. Hong; Elsevier, 2010, ISSN: 0747-7171.