Concurrent term rewriting as a model of computation - Goguen, Joseph 1941-2006; Kirchner, Claude; Meseguer, José (1987)