Refinement principles supporting the transition from asynchronous to synchronous communication - Stølen, Ketil (Institut für Informatik, 1995)