Development Graphs - Proof Management for Structured Specifications
@article{MAH-05-a,
  author        = {Mossakowski, Till and Autexier, Serge and Hutter, Dieter},
  title         = {Development Graphs - Proof Management for Structured Specifications},
  journal       = {Journal of Logic and Algebraic Programming, special issue on Algebraic Specification and Development Techniques},
  volume        = {67},
  number        = {1-2},
  publisher     = {Elsevier},
  pages         = {114-145},
  month         = {april},
  year          = {2006},
}