LATIN 2018: Theoretical Informatics - Bender (Springer International Publishing, 2018)