Development Aspects of the Harmony Environment for Multi-Notational Software Specification. - Sergiu M. Dascalu; Andrew Klempau (CCCT (1), 2004)

From Graphical Representations to Formal Specifications and Return: Translation Algorithms in the Harmony. - Sergiu Dascalu; Peter Hitchcock; Narayan C. Debnath; Andrew Klempau (IRI, 2004)