Iversen, J. and Mosses, P. D. (2004) “Constructive Action Semantics for Core ML”, BRICS Report Series, 11(37). doi: 10.7146/brics.v11i37.21862.