Title: An algebraic specification language and a syntax directed editor
Subjects: Computer science