" Handbook of formal languages. Volume 2, Linear modeling. Background and application " edited by Grzegorz Rozenberg, Arto Salomaa.