Title: The design and implementation of a syntax directed editor for the specification language Spec