1. Brookes, S.D.: A Semantics for Concurrent Separation Logic. Theoretical Computer Science 375(1-3), 227–270 (2007)
2. Best, E., Devillers, R., Koutny, M.: The Box Algebra = Petri nets + Process Expressions. Information and Computation 178, 44–100 (2002)
3. Hoare, C.A.R., et al.: Laws of Programming. Commun. ACM 30(8), 672–686 (1987)
4. Hoare, C.A.R., Wehrman, I., O’Hearn, P.: Graphical Models of Separation Logic. In: Engineering Methods and Tools for Software Safety and Security, pp. 177–202. IOS Press (2009)
5. Hoare, T., van Staden, S.: In Praise of Algebra, under consideration for publication in Formal Aspects of Computing