Mathematical Foundations of Computer Science 2013 - Chatterjee (Springer Berlin Heidelberg, 2013)