Seymour Ginsburg Edwin H. Spanier Substitution of Grammar Forms Acta Inf. 5 1975 377-386 db/journals/acta/acta5.html#GinsburgS75