Description and verification of mobile processes with graph rewriting techniques - König, Barbara (1999)