书籍 — programmable logic automata