Surveys in set theory - Mathias, Adrian Richard David, (London Mathematical Society lecture note series, 1983)