Formal languages - Salomaa, Arto (Academic Press, 1973)