Invia SMS: Matematičeskaja teorija projektirovanija vyčisliteľnych sistem /