From semantic to computer science : essays in honour of Giles Kahn - Yves Bertot (New York: Cambridge University Press, 2009)
Keywords: Programming languages (Electronic computers) -- Semantics; Engineering