Mathematical Foundations of Computer Science (2007)
Keywords: MC1651