Formal languages - Salomaa, Arto (Computer science classics, 1973)