АлгМИП (алгоритм решения задач с помощью микро-ЭВМ):  часть 1 АРИЗ-85в с дополнением по НЭ В.А. Королёва и  поиском приёмов РТП по таблице Альтшуллера (1972).