SOFSEM 2017 : Theory and Practice of Computer ScienceBernhard Steffen, Christel Baier, Mark van den Brand, Johann Eder, Mike Hinchey, Tiziana Margaria · First published 2017Open the Tome
