Analysis of Microscopic Mast Cell Images Based on Network of Synchronised Oscillators. - Michal Strzelecki; Hyongsuk Kim; Pawel Liberski; Anna Zalewska (ICANNGA (2), 2007)

Mizar Course in Logic and Set Theory. - Ewa Borak; Anna Zalewska (Calculemus/MKM, 2007)