Semantics and Algebraic Specification [electronic resource] : Essays Dedicated to