Protocols, Strands, and Logic : Essays Dedicated to Joshua Guttman on the Occasion of His 66. 66th Birthday - Dougherty, Daniel; Meseguer, José; Mödersheim, Sebastian Alexander; Rowe, Paul (Cham Springer International Publishing AG, 2022)