N. Oury, and W. Swierstra. Proceeding of the 13th ACM SIGPLAN international conference on Functional programming, page 39--50. New York, NY, USA, ACM, (2008)
K. Chaudhuri, D. Doligez, L. Lamport, and S. Merz. Theoretical Aspects of Computing – ICTAC 2010, volume 6255 of Lecture Notes in Computer Science, Springer Berlin / Heidelberg, 10.1007/978-3-642-14808-8_3.(2010)
M. Henzinger, T. Henzinger, and P. Kopke. Proceedings of the 36th Annual Symposium on Foundations of Computer Science, page 453--. Washington, DC, USA, IEEE Computer Society, (1995)
J. Søgaard-Andersen, S. Garl, J. Guttag, N. Lynch, and A. Pogosyants. PROCEEDINGS OF THE 5TH INTERNATIONAL CONFERENCE ON COMPUTER AIDED VERIFICATION, ELOUNDA, GREECE, VOLUME 697 OF LECTURE, page 305--319. Springer Verlag, (1993)