Donald F. Stanat A Homomorphism Theorem for Weighted Context-Free Grammars. 217-232 1972 6 J. Comput. Syst. Sci. 3 db/journals/jcss/jcss6.html#Stanat72