Modelling legal contracts as processes | IEEE Conference Publication | IEEE Xplore
  翻译: