S.D. Brookes
algorithms artificial intelligence automata calculus complexity complexity theory computer computer science formal specification mathematics for computer scientists programming programming language robotics statistics verification