Mathematical Foundations of Computer Science (2011)
Keywords: MAT509