Return to Issue Details Formalization of an inner change Download Download PDF