Causal Inference in Statistics: A Primer, Judea Pearl, Madelyn Glymour, Nicholas P. Jewell, 2016 (Wiley) - An accessible introduction to causal inference, covering do-calculus, identification strategies, and graphical models from a statistical perspective.
A general identification condition for causal effects, Jin Tian, Judea Pearl, 2002Proceedings of the Eighteenth National Conference on Artificial Intelligence (AAAI-02) (AAAI Press)DOI: 10.1609/aaai.v18i1.18956 - This paper presents the completeness proof for the do-calculus, demonstrating that if a causal effect is identifiable, do-calculus can derive its formula.