Алгоритмические модели в автоматизации исследований (Наука, 1980)