Assumption/commitment rules for data-flow networks with an emphasis on completeness - Stølen, Ketil (Technische Universität <München>: TUM-I, 1995)