?url_ver=Z39.88-2004&rft_id=10.1007%2FBFb0039058&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.au=De+Nicola%2C+Rocco&rft.aulast=De+Nicola&rft.aufirst=Rocco&rft.isbn=3-540-53048-7&rft.date=1990&rft.btitle=CONCUR+'90+Theories+of+Concurrency%3A+Unification+and+Extension&rft.title=Back+and+Forth+Bisimulations&rft.genre=bookitem