Peter Borovansky, Claude Kirchner, Hélène Kirchner. Rewriting as a Unified Specification Tool for Logic and Control: The ELAN Language.
Second International Workshop on the Theory and Practice of Algebraic Specifications, 1998, Amsterdam, N.L., 10 p.
⟨inria-00098626⟩