Network: A Multiprocessor Program - Hansen, P B (IEEE Transactions on Software Engineering)