A Formal Treatment of Contract Signature[J] IEEE TRANSACTIONS ON SERVICES COMPUTING 2022(15) van der Meyden, Ron
