  For further reading on the subject of infinitary languages, see Aczel [1973], Dickmann [1975], Karp [1964], Keisler [1974], and Makkai [1977].  A useful account of the connection between infinitary languages and large cardinals can be found in Chapter 10 of Drake [1974].