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