Invia SMS: Matematičeskaja teorija projektirovanija vyčislitel'nych sistem