J. Iversen and P. D. Mosses, “Constructive Action Semantics for Core ML”, BRICS, vol. 11, no. 37, Dec. 2004.