@Article{Mossakowski:JLP-67-1-114,
  author =       "Till Mossakowski and Serge Autexier and Dieter
                 Hutter",
  title =        "Development graphs -- Proof Management for Structured
                 Specifications",
  journal =      "Journal of Logic and Algebraic Programming",
  volume =       "67",
  number =       "1--2",
  year =         "2006",
  pages =        "114--145",
  ee =           "http://dx.doi.org/10.1016/j.jlap.2005.09.005",
}