@Article{damiani14faoc,
  author =       {Ferrucio Damiani and Johan Dovland
                  and Einar Broch Johnsen and Ina Schaefer},
  title =        {Verifying traits: an incremental proof system for
                  fine-grained reuse},
  journal =      {Formal Aspects of Computing},
  volume =       {26},
  number =       {4},
  pages =        {761--793},
  year =         2014,
  url =          {http://dx.doi.org/10.1007/s00165-013-0278-3},
}