Maria Manzano, Extensions of First Order Logic. Cambridge Tracts in Theoretical Computer Science 19. Cambridge, UK: Cambridge University Press (1996). ISBN 0-521-35435-8. xxii+388 pages