Заяць, В. М. та Заяць, М. М. (2018) Логічне і функціональне програмування. Системний підхід. НУВГП, Рівне. ISBN 978-966-327-375-4