Z. Manna, и A. Pnueli. In 15th Conference on the Foundations of Software Technology and Theoretical Computer Science, стр. 726--765. Springer-Verlag, (1994)
A. Pnueli, J. Xu, и L. Zuck. CAV '02: Proceedings of the 14th International Conference on Computer Aided Verification, стр. 107--122. London, UK, Springer-Verlag, (2002)