Computation on graph-like expressions (1980)

by John Staples
Venue:Theoretical Computer Science