Text this: Matematičeskaja teorija projektirovanija vyčisliteľnych sistem /