Viewing a program transformation system at work (1994)

by R Paige
Venue:In Proc. Joint 6th Int’l Conf. on Programming Language Implementation and Logic Programming (PLILP) and 4th Int’l Conf. on Algebraic and Logic Programming (ALP). LNCS 844