Formalizing ϕ-Calculus: A Purely Object-Oriented Calculus of Decorated Objects. - Nikolai Kudasov; Violetta Sim (FTfJP@ECOOP, 2022)

Detecting unjustified assumptions in subclasses via EO representation. - Vitaliy Korbashov; Nikolai Kudasov; Mikhail Olokin; Violetta Sim (CoRR, 2022)