John Staples Computation on Graph-Like Expressions. 171-185 1980 10 Theor. Comput. Sci. db/journals/tcs/tcs10.html#Staples80