Text this: Matematičeskaja teorija projektirovanija vyčislitel'nych sistem