They're both great books, but they make heavier use of potential outcome notation and focus less on graph-theoretic formulations than Pearl's work.