Mathematical Foundations of Computer Science (2012)
Keywords: MAT509