JEWELS OF FORMAL LANGUAGE THEORY - SALOMAA,ARTO (CSP ROCKVILLE, 1981)