Specifying problem one using the failures model for CSP and deriving CSP processes which meet this specification
A. W. Roscoe
Book Title
The Analysis of Concurrent Systems
Editor
B.T. Denvir et al
Number
207
Pages
103–109
Publisher
Springer
Series
LNCS
Year
1985