On the existence of a Haar measure in topological IP-loops. - Beáta Stehlíková; Dagmar Markechová; Anna Tirpáková (Kybernetika, 2011)

An Alternative to Real Number Axioms. - Igor Líska; Beloslav Riecan; Anna Tirpáková (Axioms, 2018)