L. Howard Holley Barry K. Rosen Qualified Data Flow Problems. 68-82 1980 POPL db/conf/popl/popl80.html#HolleyR80