Delzanno, Giorgio Programming Logics, MPI for Informatics, Max Planck Society;
Delzanno, G., Galmiche, D., & Martelli, M. (1999). A specification logic for concurrent object-oriented programming. Mathematical Structures in Computer Science, 9(3), 253-286.