Joseph A. Goguen Claude Kirchner José Meseguer Concurrent term rewriting as a model of computation. 53-93 1986 conf/gr/1986 Graph Reduction db/conf/gr/gr1986.html#GoguenKM86