Subject :
Computer Science+Concurrent Interaction Games+Program Optimisation, Naturally+Domain Modeling+Communicating Parellel Processes+Computing with Shapes+Predicate Transformers for Composition+Monitor Versions+A Formula is Worth a thousand Pictures+Real World