Formal manipulation of Forrester diagrams by graph grammars. - José Javier Dolado; Francisco J. Torrealdea (IEEE Trans. Syst. Man Cybern., 1988)