Logičeskij jazyk dlja predstavlenija algoritmov sinteza relejnyh ustrojstv - Gavrilov, Mihail Aleksandrovič (Nauka - Moskva, 1966)