After over 20 years and on a shelf with dozens of more complete texts on any of the subjects covered by Arbib et al, this little text remains my first choice of reference. Why? Because it concisely covers the key definitions and thorems providing a formal basis for computation that are essential for graduate study.