A basis for theoretical computer science - Arbib,Michael.A