Semantics and Algebraic Specification Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthday - Palsberg, Jens (Springer Berlin Heidelberg : Imprint: Springer, 2009)