From Lambda calculus to cybersecurity through program analysis essays dedicated to Chris Hankin on the occasion of his retirement - Di Pierro, Alessandra (Springer, 2020)
Auf dem Umschlag: "Festschrift"