Jia-Ch'ng Loh, Swee-Huay Heng, Syh-Yuan Tan: A Generic Framework for Accountable Optimistic Fair Exchange Protocol. ISPEC 2018: 299-309