C. Alias, A. Darte, P. Feautrier, and L. Gonnord. Proceedings of the 17th International Conference on Static Analysis, page 117--133. Berlin, Heidelberg, Springer-Verlag, (2010)
J. Poelmans, P. Elzinga, S. Viaene, and G. Dedene. Proceedings of the 18th International Conference on Conceptual Structures (ICCS 2010), volume 6208 of Lecture Notes in Computer Science, page 139-153. Springer, (2010)