4 books in this genre
A Quinn in need
Jane B. Mason
Theories of computability
Nicholas Pippenger
Le Robot
Art Kleiner
Control of manipulation robots
M. Vukobratovic
