Network algebra for synchronous and asynchronous dataflow by J.A. Bergstra