Book

Theory and Applications of Models of Computation

by Mitsunori Ogihara