Manyebook
Ron Sigal
Computability, Complexity, and Languages