A. Vogelsang, A. Fehnker, R. Huuck, and W. Reif. 12th International Conference on Formal Engineering Methods (ICFEM), volume 6447 of Lecture Notes in Computer Science, page 485--500. Springer, (2010)
J. Canny, and J. Reif. Proc. 28th Annual Symposium on Foundations of Computer Science, page 49―60. Los Angeles, CA, IEEE Computer Society Press, (October 1987)