or, a mathematical introduction to the semantics of computer programs /