В продаже первая в мире книга по автоматному программированию