Avtomatičeskij poisk neispravnostej. - Mozgalevskij, Andrej Vasil'evič; Gaskarov, Diljaur Vagizovič; Glazunov, Leonid Pavlovič (Lenjingrad : Mašinostroenie, Leningrad, 1967)