1. Lecture Notes in Computer Science;A. Armando,2001
2. Lecture Notes in Computer Science;C. Barrett,2004
3. Bradley, A.R., Manna, Z., Sipma, H.B.: Polyranking for polynomial loops. In: submission, available at,
http://theory.stanford.edu/~arbrad
4. Manna, Z., Pnueli, A.: Temporal Verification of Reactive Systems: Safety. Springer, Heidelberg (1995)
5. McCarthy, J.: Towards a mathematical science of computation. In: IFIP Congress 1962 (1962)