source:

• Incorrectness Separation Logic (ISL) by Azalea Raad
• CSL Family Tree by Ilya Sergey