Xavier Hannotin, Paolo Maggi, Riccardo Sisto: Formal Specification and Verification of Mobile Agent Data Integrity Properties: A Case Study. Mobile Agents 2001: 42-53