Concurrent processes and their syntax (1977)

by Milne Berlin, G J, Ro Milner