1. 2Luke, E. A., A Rule-Based Specification System for Computational Fluid Dynamics, Ph.D. thesis,Mississippi State University, 1999.
2. 3Luke, E. "Loci: A Deductive Framework for Graph-Based Algorithms," Third International Symposium on Computing in Object-Oriented Parallel Environments, edited by S. Matsuoka, R. Oldehoeft, and M. Tholburn, No. 1732 in Lecture Notes in Computer Science, Springer-Verlag, December 1999, pp. 142-153.