?url_ver=Z39.88-2004&rft_id=10.1007%2F3-540-60218-6_10&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.aulast=Corradini&rft.aufirst=Flavio&rft.au=Corradini%2C+Flavio&rft.btitle=CONCUR+'95%3A+Concurrency+Theory&rft.title=Fully+Abstract+Models+for+Nondeterministic+Regular+Expressions&rft.date=1995&rft.isbn=3-540-60218-6&rft.genre=bookitem