2 works on record
Model theory with applications to algebra and analysis
Stable Domination and Independence in Algebraically Closed Valued Fields