Title: Design and implementation of a pretty printer for the functional specification language SPEC