A multi-formalism specification environment. - Edward A. Ipser; David S. Wile; Dean Jacobs (SDE, 1990)