Proofs that NM-CPA implies IND-Cpa and $\text{IND-CCA} \leftrightarrow \text{NM-CCA}$
This paper, AFAICT: https://www.cs.ucdavis.edu/~rogaway/papers/relations.pdf
It is about the security of public-key encryption, but the proofs about the relations between security definitions are applicable to symmetric encryption.