Towards shorter algebraic specifications: a simple language definition and its compilation to Prolog
Towards shorter algebraic specifications: a simple language definition and its compilation to Prolog / [by] J. Heering [and] P. Klint