Sergiu Dascalu Peter Hitchcock Narayan C. Debnath Andrew Klempau From Graphical Representations to Formal Specifications and Return: Translation Algorithms in the Harmony. 215-221 2004 conf/iri/2004 IRI db/conf/iri/iri2004.html#DascaluHDK04 https://doi.org/10.1109/IRI.2004.1431463