Permission-Based Verification of Red-Black Trees and Their Merging by Lukas Armborst and Marieke Huisman has been accepted at the 2021 edition of FormaliSE.