2 works on record
Logics and analyses for concurrent heap-manipulating programs
Formal Techniques for Distributed Objects, Components, and Systems
2020