TY - BOOK AU - Rozenberg, G AU - Salomaa, A TI - Handbook of formal languages U1 - R 511.3 ROZ-H PY - 2010/// CY - Springer-Verlag, Berlin KW - Mathematical logic-- Mathematics ER -