Theoretical Aspects of Computing - ICTAC 2007 - Jones, Cliff B. (Springer Berlin Heidelberg, 2020)