Gerd Neu­ge­bauer. The LOPS Ap­proach: A Trans­for­ma­ti­o­nal Point of View. In K.K. Lau and T. Cle­ment, edi­tors, Lo­gic Pro­gram Syn­the­sis and Trans­for­ma­tion, Work­shops in Com­pu­ting, pa­ges 80–81. Springer-Verlag, 1993.