graph rewriting (1987)

by H P Barendregt
Venue:In Volume II: Parallel Languages on PARLE: Parallel Architectures and Languages Europe