1. Mikołaj Bojańczyk. 2019. Slightly Infinite Sets. (2019). https://www.mimuw.edu.pl/~bojan/paper/atom-book Mikołaj Bojańczyk. 2019. Slightly Infinite Sets. (2019). https://www.mimuw.edu.pl/~bojan/paper/atom-book
2. Mikołaj Bojańczyk , Bartek Klin , and Slawomir Lasota . 2014. Automata theory in nominal sets. Log. Methods Comput. Sci. 10, 3 ( 2014 ). Mikołaj Bojańczyk, Bartek Klin, and Slawomir Lasota. 2014. Automata theory in nominal sets. Log. Methods Comput. Sci. 10, 3 (2014).
3. Orbit-Finite-Dimensional Vector Spaces and Weighted Register Automata
4. Mikołaj Bojańczyk and Szymon Toruńczyk . 2012 . Imperative Programming in Sets with Atoms . In Proc. FSTTCS 2012, Vol. 18. 4–15. Mikołaj Bojańczyk and Szymon Toruńczyk. 2012. Imperative Programming in Sets with Atoms. In Proc. FSTTCS 2012, Vol. 18. 4–15.
5. L. Clemente and S. Lasota . 2015. Reachability analysis of first-order definable pushdown systems . In Proc. CSL’15 . 244–259. L. Clemente and S. Lasota. 2015. Reachability analysis of first-order definable pushdown systems. In Proc. CSL’15. 244–259.