?url_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.aufirst=Hans&rft.aulast=Huttel&rft.au=Huttel%2C+Hans&rft.issn=0360-0300&rft.pages=1-36&rft.atitle=Foundations+of+Session+Types+and+Behavioural+Contracts&rft.issue=1&rft.volume=49&rft.date=2016&rft.title=ACM+Computing+Surveys&rft.genre=article