Qualified Data Flow ProblemsL. Howard HolleyBarry K. Rosen1981IEEE Transactions on Software Engineering
Parallelism and concurrency of graph manipulationsHartmut EhrigBarry K. Rosen1980Theoretical Computer Science