@InProceedings{GarionTorre2003,
  Title                    = {Design by contract - Deontic design language for component-based systems},
  Author                   = {Christophe Garion and Leendert van der Torre},
  Booktitle                = {Proceedings of the 15th Belgium-Netherlands Conference on Artificial Intelligence (BNAIC2003)},
  Year                     = {2003},

  Url                      = {http://icr.uni.lu/leonvandertorre/papers/bnaic03b.pdf}
}