Theoretical Aspects of Computing - ICTAC 2008 (Springer Berlin Heidelberg, 2020)