General theory relating to the implementation of concurrent symbolic computation. - Thomas James Woodchurch Clarke (1989)