Reasoning About Theoretical Entities - Forster Thomas (World Scientific, 2003)
Keywords: Computer Science