An algebra for data flow diagram process decomposition | IEEE Journals & Magazine | IEEE Xplore