A basis for theoretical computer science - Arbib, Michael A. (AKM series in theoretical computer science, 1981)