The architecture of concurrent programs - Brinch Hansen, Per, 1938- (Prentice-Hall series in automatic computation, 1977)