Luciano Baresi, Mauro Pezzè. A Formal Definition of Stuctured Analysis with Programmable Graph Grammars. In Manfred Nagl, Andy Schürr, Manfred Münch, editors, Applications of Graph Transformations with Industrial Relevance, International Workshop, AGTIVE 99, Kerkrade, The Netherlands, September 1-3, 1999, Proceedings. Volume 1779 of Lecture Notes in Computer Science, pages 193-208, Springer, 1999. [doi]
Abstract is missing.