Mathematical Foundations of Computer Science (2009)
Keywords: P07CA201