@article{AMC_2023__23_2_a10,
     author = {Andrej Bauer and Sandi Klav\v{z}ar},
     title = {
		{Marko} {Petkov\v{s}ek} (1955 {\textendash} 2023)
	},
     journal = {Ars Mathematica Contemporanea},
     publisher = {mathdoc},
     volume = {23},
     number = {2},
     year = {2023},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/AMC_2023__23_2_a10/}
}