Luo, C., & Qin, S. (2008). Separation Logic for Multiple Inheritance. In 1st International Conference on Foundations of Informatics, Computing and Software, FICS 2008, 3-6 June, 2008, Shanghai, China ; proceedings (27-40). https://doi.org/10.1016/j.entcs.2008.04.051