N. Bjorner, L. Kovacs (ed.): "Proceedings of the 3rd International Workshop on Invariant Generation 2010"; Eigenverlag, 2010.