Джон Лилли:
Программирование и метапрограммирование человеческого биокомпьютера.
Глава 12. Обобщение логики, использованной в этой работе: истина, ложь, вероятность, метапрограммы и их связи