Charles Wells
Case Western Reserve Univ., Cleveland, CA
Diagrammatic specifications
Mathematical Structures in Computer Science
A sketch-based technique for the derivation of self-interpreters
Computer Languages