This section is my personal notebook on statistical inference and formal modeling literature.