Protocols, strands, and logic essays dedicated to Joshua Guttman on the occasion of his 66.66th birthday - Dougherty, Daniel (Lecture notes in computer science, 2021)