The logical design of multiple-microprocessor systems - Bowen, B. A. (Prentice-Hall, 1980)