Gerd Neu­ge­bauer. The LOPS Approach: A Transformational Point of View. In K.K. Lau und T. Clement, Her­aus­ge­ber, Logic Program Synthesis and Trans­for­ma­ti­on, Workshops in Computing, Sei­ten 80–81. Springer-Ver­lag, 1993.