RP2.
RP3.
Blogged H.O. imperative machine semantics.