1. Aït-Kaci, H., Boyer, R., Lincoln, P., and Nasr, R. (1989). Efficient implementation of latice operations. ACM Transactions on Programming Languages and Systems, 11(1): 115–146.
2. Technical Report;H Aït-Kaci,1993
3. Technical Report;H Aït-Kaci,1993
4. Carlson, C. (1993). An Algebraic Approach to the Description of Design Spaces. PhD thesis, Department of Architecture, Carnegie-Mellon University.
5. Carlson, C. and Woodbury, R. (1994). Hands-on exploration of recursive patterns. Languages of Design, 2:121–142.