Describir: Matematičeskije metody avtomatizirovannogo projektirovanija /