Foundations of Security, Protocols, and Equational Reasoning - Guttman; Landwehr, Carl E.; Meseguer, José; Pavlovic, Dusko (Springer International Publishing, 2019)