Khepera Transformation System
   Includes white papers, an abstract, and pictures, of Egyptian hieroglyphics.
   http://www.cs.unc.edu/~faith/khepera.html

Proteus
   Project home: system for specifying, prototyping, analyzing, generating parallel software.
   http://wwwx.cs.unc.edu/Research/proteus/proteus.html