Parallel processing systems (Cambridge Univ. Press, 1982)