Semantics And Algebraic Specification door Jens Palsberg