CORPORATE INMOS Limited
-
The Specification and Verified Decomposition of System Requirements Using CSP
IEEE Transactions on Software Engineering
Transputers-Past, Present and Future
IEEE Micro