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