Logicheskiĭ ︠i︡azyk dl︠i︡a predstavleni︠i︡a algoritmov sinteza releĭnykh ustroĭstv - Gavrilov, Mikhail Aleksandrovich (Izd-vo "Nauka", 1966)