A detailed description of optics in curved spacetimes and a derivation of the lens equation from Einstein’s field equations
can be found in Chapter
3 and 4 of
[
167
]
.
].