Program Merge header - safe merge diagram

Future of Program Merge

Microsoft Research blog