SPECTRUM
Evolution of
FOCUS (8394)
Algebraic specification system