Development graphs – proof management for structured specifications (2006)

by T Mossakowski, S Autexier, D Hutter
Venue:Journal of Logic and Algebraic Programming