Henning Bordihn Markus Holzer Programmed grammars and their relation to the LBA problem. 223-242 2006 43 Acta Inf. 4 http://dx.doi.org/10.1007/s00236-006-0017-9 db/journals/acta/acta43.html#BordihnH06