Per Brinch Hansen Experience with Modular Concurrent Programming. 156-159 1977 3 IEEE Trans. Software Eng. 2 db/journals/tse/tse3.html#Hansen77