?url_ver=Z39.88-2004&rft_id=10.1007%2F3-540-49019-1_12&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.aufirst=Michele&rft.aulast=Boreale&rft.au=Boreale%2C+Michele&rft.isbn=3-540-65719-3&rft.btitle=Foundations+of+Software+Science+and+Computation+Structures+(FoSSaCS+1999)&rft.title=A+Theory+of+%22May%22+Testing+for+Asynchronous+Languages&rft.date=1999&rft.genre=bookitem