Mathematical Foundations of Computer Science (2008)
Keywords: P07CA201