1. Lecture Notes in Computer Science;A. Armando,2004
2. ENTCS;A. Armando,2005
3. Lecture Notes in Computer Science;T. Ball,2001
4. Lecture Notes in Computer Science;T. Henzinger,2003
5. Henzinger, T.A., et al.: Abstractions from proofs. In: POPL’04, Venice, Italy, pp. 232–244. ACM Press, New York (2004), doi:10.1145/964001.964021