@Article{picco01:reasoning,
  author	= {Gian Pietro Picco and Gruia-Catalin Roman and Peter J. McCann},
  title		= {{Reasoning about Code Mobility with Mobile {\sc Unity}}},
  journal =      {ACM Transactions on Software Engineering and Methodology (TOSEM)},
  year =         2001,
  volume = 10,
  number = 3,
  pages = {338--395},
  month = jul
}