SMS versenden: A theory of programming language semantics :