Logic, Language, and Security: Essays Dedicated to Andre Scedrov on the Occasion of His 65th Birthday - Nigam; Ban Kirigin, Tajana; Guttman, Joshua; Kuznetsov, Stepan; Okada, Mitsuhiro; Talcott, Carolyn; Thau Loo, Boon (Springer International Publishing, 2020)