Jonathan Hoare Jeremy Dick David Neilson Ib Holm Sørensen Applying the B Technologies on CICS. 74-84 1996 conf/fm/1996 FME db/conf/fm/fme1996.html#HoareDNS96 http://dx.doi.org/10.1007/3-540-60973-3_81