Vvedenie v formal'nyj jazyk lingvistiki - Lekomcev, Jurij Konstantinovič (Nauka, 1983)