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