Reactive System Refinement of Distributed Systems in B. - Lano, Kevin; Androutsopoulos, Kelly (1999)