Copy and paste this citation
Mike Thomas
(2004).
Reasoning About Program Transformations: Imperative Programming and Flow of Data by Jean-Francois Collard, Springer-Verlag, 2003, ISBN 0-387-95391-4. Journal of Functional Programming,
14
,
pp 589-592
doi:10.1017/S0956796804225321