@book{Winskel, author = {Glynn Winskel}, title = {The Formal Semantics of Programming Languages}, publisher = {MIT Press}, year = 1993}
An eminently readable description of this theory is found here.
A denotational semantics for IMP based on HOLCF is found here.
Last modified 7 May 1997