Formalising behaviour preserving program transformations, in (2002)

by T Mens, S Demeyer, D Janssens
Venue:Proc. ICGT’02, in: LNCS