Abstraktna︠i︡a i strukturna︠i︡a teori︠i︡a releĭnykh ustroĭstv : avtomatiza︠t︡si︠i︡a logicheskogo sinteza - Gavrilov, Mikhail Aleksandrovich (Nauka, 1975)