Farn Wang. Automatic Verification of Pointer Data-Structure Systems for All Numbers of Processes. 1999
Denis Sabatier, Pierre Lartigue. The Use of the B Formal Method for the Design and the Validation of the Transaction Mechanism for Smart Card Applications. 1999