Theoretical aspects of computing - ICTAC 2015 12th international colloquium, Cali, Colombia, October 29-31, 2015 : proceedings - Leucker, Martin 1971- (Springer, 2015)