Podelski, A., & Rybalchenko, A. (2004). Transition Invariants. In Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science, LICS 2004 (pp. 32-41). Los Alamitos, USA: IEEE.