Trong Wu. Understanding Programming Language Semantics for the Real World. In Sio Iong Ao, Leonid Gelman, editors, Advances in Electrical Engineering and Computational Science, [revised and extended papers from the World Congress on Engineering, WCE 2008, London, UK, July 2-4, 2008]. Volume 39 of Lecture Notes in Electrical Engineering, pages 313-328, Springer, 2008. [doi]
Abstract is missing.