Theoretical aspects of computing – ICTAC 2015 12th International Colloquium Cali, Colombia, October 29–31, 2015, proceedings - Leucker, Martin 1971- (Springer International Publishing, 2015)