Ketil Stølen Frank Dederichs Rainer Weber Specification and Refinement of Networks of Asynchronously Communicating Agents Using the Assumption/Commitment Paradigm. 127-161 1996 8 Formal Asp. Comput. 2 db/journals/fac/fac8.html#StolenDW96