From ML to C via Modula-3 [pdf]
cl.cam.ac.uk