Buleva algebra i konečnye avtomaty - Parhomenko, Pavel Pavlovič; Babičevoj, E.V (Mir - Moskva, 1969)