Class Refinement and Interface Refinement in Object-Oriented Programs. - Anna Mikhajlova; Emil Sekerinski (FME, 1997)

Consistent Extension of Components in Presence of Explicit Invariants. - Anna Mikhajlova (ECOOP Workshops, 1998)

Proving Isomorphism of First-Order Logic Proof Systems in HOL. - Anna Mikhajlova; Joakim von Wright (TPHOLs, 1998)

Reasoning about Object Clients and Distributed Object Interaction. - Anna Mikhajlova (ECOOP Workshops, 1999)

Reasoning About Interactive Systems. - Ralph-Johan Back; Anna Mikhajlova; Joakim von Wright (World Congress on Formal Methods, 1999)

Specifying Java Frameworks Using Abstract Programs. - Anna Mikhajlova (TOOLS (30), 1999)

Class Refinement as Semantics of Correct Object Substitutability. - Ralph-Johan Back; Anna Mikhajlova; Joakim von Wright (Formal Aspects Comput., 2000)