Books — programmable logic automata