John L. Pfaltz
Hypergraph JUnit Processing Unified Modeling Language (UML) algorithms aspect-oriented systems calculus data structures graph grammars graph rewriting systems graph transformations graph-based scenarios model checking modeling object technology