Springer的机器人手册英文版。比较精炼的描述了许多基本问题。