Strong process equivalence in the presence of hidden moves (1990)

by B Bloom