Vvedenije v teoriju schem programm - Kotov, Vadim Jevgen´jevič (Nauka, 1978)