Per Brinch Hansen Interference Control in SuperPascal - A Block-Structured Parallel Language. 399-406 1994 37 Comput. J. 5 db/journals/cj/cj37.html#Hansen94