K. Williams, J. McCandless, and D. Gregg. Proceedings of the 8th annual IEEE/ACM international symposium on Code generation and optimization, page 278--287. New York, NY, USA, ACM, (2010)
B. Ganter, and S. Rudolph. Proceedings of the 9th International Conference on Conceptual Structures (ICCS 2001), volume 2120 of Lecture Notes in Computer Science, page 143-156. Springer, (2001)