(1)
Iversen, J.; Mosses, P. D. Constructive Action Semantics for Core ML. BRICS 2004, 11.