C. Flanagan. POPL '06: Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages, page 245--256. New York, NY, USA, ACM Press, (2006)
S. McCamant, and M. Ernst. Proceedings of SAVCBS 2004: Specification and Verification of Component-Based Systems, page 47-54. Newport Beach, CA, USA), (October 2004)
A. Simons, M. Stannett, K. Bogdanov, and W. Holcombe. Proceedings of 6th IASTED International Conference on Software Engineering and Applications, Cambridge, MA, (2002)