Scott Neal Gerard Gerard, S. N., & Singh, M. P. (2013). Formalizing and Verifying Protocol Refinements. ACM TRANSACTIONS ON INTELLIGENT SYSTEMS AND TECHNOLOGY, 4(2). https://doi.org/10.1145/2438653.2438656