Semantics and algebraic specification essays dedicated to Peter D. Mosses on the occasion of his 60th birthday - Palsberg, Jens; SpringerLink (Online service) (Berlin, Heidelberg : Springer Berlin Heidelberg, 2009)
Keywords: Mosses, Peter; Programming languages (Electronic computers) -- Semantics -- Congresses; Computer science -- Mathematics -- Congresses; Mathematical Logic and Formal Languages; Artificial Intelligence (incl. Robotics); Symbolic and Algebraic Manipulation; Programming Techniques; Software Engineering; Logics and Meanings of Programs