Такой Список определяется ( рекурсивно) как конечная последовательность атомов либо Списков, число которых, может быть, ... - Большая Энциклопедия Нефти и Газа
Выдержка из книги
Кнут Д.N.
Искусство программирования для ЭВМ
Такой Список определяется ( рекурсивно) как конечная последовательность атомов либо Списков, число которых, может быть, и равно нулю. В данном случае атом - неопределяемое понятие, относящееся к элементам, взятым из любого множества предметов, лишь бы соблюдалось условие, что можно отличить атом от Списка.