Design of a specification language by abstract syntax engineering / J.C.M. Baeten

Design of a specification language by abstract syntax engineering / J.C.M. Baeten