Towards Machine-Actionable Modules of a Digital Mathematics Library - The Example of DML-CZ. - Michal Ruzicka; Petr Sojka; Vlastimil Krejcír (MKM/Calculemus/DML, 2013)