Mathematical Foundations of Computer Science (2013)
Keywords: MAT509