Assumption/commitment rules for data-flow networks with an emphasis on completeness - Stølen, Ketil (1995)