Математическое обеспечение для организации автоматизированного планирования и проверки оверлейных структур в ОС ЕСТрофимов, В.В.198310 с.