Bidoit, M.,Gaudel, M. C., & Mauboussin, A. "How to make algebraic specifications more understandable" Research report No. 439. LRI, Universit Paris Sud 1988

Languages mentioned

• PLUSS {1984}
• TFL {1996}