Program Algebras with Monotone Floyd-Hoare Composition. - Andrii Kryvolap; Mykola S. Nikitchenko; Wolfgang Schreiner (ICTERI, 2013)

Extending Floyd-Hoare Logic for Partial Pre- and Postconditions. - Andrii Kryvolap; Mykola Nikitchenko; Wolfgang Schreiner (ICTERI (Revised Selected Papers), 2013)

Formalization of the Algebra of Nominative Data in Mizar. - Artur Kornilowicz; Andrii Kryvolap; Mykola S. Nikitchenko; Ievgen Ivanov (FedCSIS, 2017)

An Approach To Formalization of an Extension of Floyd-Hoare Logic. - Artur Kornilowicz; Andrii Kryvolap; Mykola S. Nikitchenko; Ievgen Ivanov (ICTERI, 2017)

Extended Floyd-Hoare Logic over Relational Nominative Data. - Mykola Nikitchenko; Ievgen Ivanov; Artur Kornilowicz; Andrii Kryvolap (ICTERI (Revised Selected Papers), 2017)

Formalization of the Nominative Algorithmic Algebra in Mizar. - Artur Kornilowicz; Andrii Kryvolap; Mykola S. Nikitchenko; Ievgen Ivanov (ISAT (2), 2017)

Simple-Named Complex-Valued Nominative Data - Definition and Basic Operations. - Ievgen Ivanov; Mykola S. Nikitchenko; Andrii Kryvolap; Artur Kornilowicz (Formaliz. Math., 2017)