Applying the B Technologies on CICS. - Jonathan Hoare; Jeremy Dick; David Neilson; Ib Holm Sørensen (FME, 1996)