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: Computer science; Software engineering; Logic design; Algebra -- Data processing; Artificial intelligence; Computer Science; Logics and Meanings of Programs; Mathematical Logic and Formal Languages; Software Engineering; Programming Techniques; Symbolic and Algebraic Manipulation; Artificial Intelligence (incl. Robotics).