The formal theory of grammar - Kimball, John P. (Prentice-Hall, 1973)