PaperProgram equivalence and context-free grammarsBarry K. RosenJournal of Computer and System Sciences
Conference paperIncremental evaluation of computational circuitsBowen Alpern, Roger Hoover, et al.SODA 1990