@TECHREPORT{
  Lau&Ukis_DC:06c,
  AUTHOR =       {K.-K. Lau and V. Ukis},
  TITLE = {{A Reasoning Framework for Deployment Contracts Analysis}},
  INSTITUTION =  {School of Computer Science, The University of Manchester},
  YEAR =         {2006},
  type =         {Preprint},
  number =       {CSPP-37},
  month =        {June} }