@Article{Beugnard,
  author  = {Antoine Beugnard and Jean-Marc J{\'e}z{\'e}quel and No{\"e}l Plouzeau and Damien Watkins},
  title   = {Making Components Contract Aware},
  journal = {IEEE Computer},
  volume  = {32},
  number  = {7},
  pages   = {38--45},
  month   = jul,
  year    = 1999,
  ISSN    = {0018-9162},
}