Model Theory With Applications To Algebra And Analysis by