Development Graphs -- Proof Management for Structured Specifications

@article{pub1883,
    author = {

Mossakowski, Till
 and 

Autexier, Serge
 and 

Hutter, Dieter
},
    title = {Development Graphs -- Proof Management for Structured Specifications},
    year = {2006},
    volume = {67},
    number = {1--2},
    pages = {114--145},
    journal = {Journal of Logic and Algebraic Programming (JLAP)},
    note = {ISSN: 1567-8326}
}