Schatz B. and K. Spies. Formale Syntax zur logischen Kernsprache der FOCUS-Entwicklungsmethodik. TUM-I 9529, Technische Universitat Miinchen, 1995.

Languages mentioned

• FOCUS {1992} Algebraic specification system