Language, Logic, and Computation - Silva; Staton, Sam; Sutton, Peter; Umbach, Carla (Springer Berlin Heidelberg, 2019)