Development graphs -- proof management for structured specifications
scientific article