Theoretical Aspects of Computing - ICTAC 2015Martin Leucker, Camilo Rueda, Frank D. Valencia · First published 2015Open the Tome
