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}, }