Markus gives a presentation in the Swansea Algebraic Specification Seminar on "CSP-CASL: Semantics, Application, Tools".