Fusion and simultaneous execution in the refinement calculus Ralph-Johan BackMichael Butler Pages: 921 - 949
Modular correctness proofs of behavioural implementations Michel BidoitRolf Hennicker Pages: 951 - 1005