Text this: Prikladnyje zadači sinteza i projektirovanija upravľajuščich algoritmov /