author : Jonathan P. Hoare

Short works

• Application of the B-Method to CICS. 1995. (In Applications of Formal Methods )