List of available books by author: Arbib, Michael A.