?url_ver=Z39.88-2004&rft_id=10.1016%2F0304-3975(84)90113-0&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.aufirst=Matthew&rft.aulast=Hennessy&rft.au=Hennessy%2C+Matthew&rft.atitle=Testing+Equivalences+for+Processes&rft.volume=34&rft.date=1984&rft.title=Theoretical+Computer+Science&rft.issn=0304-3975&rft.pages=83-133&rft.genre=article