Theoretical and Mathematical Foundations of Computer Science - Zhou, Qihai (Springer Berlin Heidelberg, 2011)