@ARTICLE{Beugnard99,
  author = {Beugnard, A. and J\'ez\'equel, J.-M. and Plouzeau, N. and Watkins,
	D.},
  title = {Making Components Contract Aware},
  journal = {IEEE Computer},
  year = {1999},
  volume = {13},
  number = {7},
  month = jul
}