1. ABRAMSKY, S., GABBAY, D. and MAIBAUM, T. (editors). (1993-2000). Handbook of Logic in Computer Science Oxford University Press, Vol. 1-5.
2. HOARE, C. (1969). An axiomatic basis for computer programming, Comm. ACM 12(10), 576-580, 1969.
3. Ten years of Hoare's logic: a survey - part I, ACM Trans;APT;Program Lang Syst 3(4),1981
4. IVANOV, I. and NIKITCHENKO, M. (2018). On the sequence rule for the Floyd-Hoare logic with partial pre- and post-conditions. In Proceedings of the 14th International Conference on ICT. Vol 2104 of CEUR Workshop Proc., pp. 716-724.
5. Inference Rules for the Partial Floyd-Hoare Logic Based on Composition of Predicate Complement;IVANOV;In Communication in Computer and Information Science Vol 1007 Springer Cham,2019