Formal Specification and Simulation of Software through Graph Grammars: A General but Minimal Approach. - Rudolf Freund; Christian Stary; Herbert Pötzl; Tatjana Svizensky (COMPSAC, 1998)