P. O'Hearn, J. Reynolds, and H. Yang. CSL '01: Proceedings of the 15th International Workshop on Computer Science Logic, page 1--19. London, UK, Springer-Verlag, (2001)
P. Ganty, R. Majumdar, and A. Rybalchenko. POPL '09: Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages, page 102--113. New York, NY, USA, ACM, (2009)
I. Walukiewicz. LICS '04: Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science, page 356--366. Washington, DC, USA, IEEE Computer Society, (2004)
E. Emerson, and K. Namjoshi. LICS '98: Proceedings of the 13th Annual IEEE Symposium on Logic in Computer Science, page 70. Washington, DC, USA, IEEE Computer Society, (1998)