%0 Journal Article %F henglein91e %A Henglein, Fritz %T Book review: Helmut Partsch, ``Specification and Transformation of Programs'', Springer, Heidelberg, 1990 %J Science of Computer Programming %V 17 %N 1 %P 247-249 %U http://www.diku.dk/hjemmesider/ansatte/henglein/papers/henglein1991d.pdf %8 December %D 1991