Mathematical Foundations of Computer Science (2008)
Keywords: P07MA106