PaperProgram equivalence and context-free grammarsBarry K. RosenJournal of Computer and System Sciences