Semantics and Algebraic Specification : Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthday - Jens Palsberg ((Lecture Notes in Computer Science))