Implementing generalised alt - A case study in validated design using CSP (Concurrent Systems Engineering Series, 2011)

(untitled) - Lowe, G