Hoare's Logic is Incomplete When It Does Not Have To Be. - Jan A. Bergstra; Anna Chmielinska; Jerzy Tiuryn (Logic of Programs, 1981)

Another Incompleteness Result for Hoare's Logic - Jan A. Bergstra; Anna Chmielinska; Jerzy Tiuryn (Inf. Control., 1982)

Kin term mimicry hypothesis. - Boguslaw Pawlowski; Anna Chmielinska (Theory Biosci., 2023)