Гасаненко,: Одностековая реализация бэктрекинга для языка Форт. Труды СПИИРАН 1(1), 211-223 (2002). doi:10.15622/sp.1.15