A Shorter Model Theory by Wilfred Hodges