CARETTE, Jacques, David ASPINALL, Christoph LANGE,
Petr SOJKA and Wolfgang WINDSTEIGER. Intelligent Computer Mathematics MKM, Calculemus, DML, and Systems and Projects 2013, Held as Part of CICM 2013, Bath, UK, July 8-12, 2013. Proceedings (Bath, UK, July 8-12, 2013. Proceedings). In
LNCS/LNAI Volume 7961. první. Bath: Springer, 2013, 384 pp. ISBN 978-3-642-39319-8. Available from: https://dx.doi.org/10.1007/978-3-642-39320-4.