@InProceedings{SummersDrossopoulou10,
  author       = {A. J. Summers and S. Drossopoulou},
  title        = {Considerate Reasoning and the Composite Design Pattern},
  booktitle    = {Verification, Model Checking, and Abstract Interpretation (VMCAI)},
  year         = {2010},
  series       = {Lecture Notes in Computer Science},
  editor       = {G. Barthe and M. V. Hermenegildo},
  volume       = {5944},
  pages        = {328-344},
  url          = {https://doi.org/10.1007/978-3-642-11319-2_24},
  urltext      = {[Publisher]}
}