Avtomatizacija programmirovanija v krajovych zadačach - Rvačev, Vladimir Logvinovič; Man´ko, Grigorij Pavlovič (Naukova dumka, 1983)