1. Kelly, W., Pugh, W., Rosser, E., Shpeisman, T.: Transitive clousure of infinite graphs and its applications, Languages and Compilers for Parallel Computing (1995)
2. Kelly, W., Maslov, V., Pugh, W., Rosser, E., Shpeisman, T., Wonnacott, D.: The Omega library interface guide, Technical Report CS-TR-3445, Dept. of Computer Science, University of Maryland, College Park (March 1995)
3. Pugh, W., Rosser, E.: Iteration Space Slicing and its Application to Communication Optimization. In: Proceedings of International Conference on Supercomputing (1997)
4. Boigelot, B.: Symbolic Methods for Exploring Infnite State Spaces. PhD thesis, Universite de Liμege (1998)
5. Nuutila, E.: Efficient Transitive Closure Computation in Large Digraphs, Mathematics and Computing in Engineering Series No. 74 PhD thesis Helsinki University of Technology. Helsinki (1995)