Qualified Data Flow ProblemsL. Howard HolleyBarry K. Rosen1981IEEE Transactions on Software Engineering