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