Specification and proof in real-time CSP by Davies, Jim fromDistinguished dissertations in computer science 0 Type: Book