SpringerLink (Online service), Aspinall, D., Lange, C., Sojka, P., Windsteiger, W., & Carette, J. (2013). Intelligent computer mathematics: MKM, Calculemus, DML, and Systems and Projects 2013, Held as Part of CICM 2013, Bath, UK, July 8-12, 2013. Proceedings. Springer Berlin Heidelberg.
Chicago (17e ed.) BronvermeldingSpringerLink (Online service), David Aspinall, Christoph Lange, Petr Sojka, Wolfgang Windsteiger, en Jacques Carette. Intelligent Computer Mathematics: MKM, Calculemus, DML, and Systems and Projects 2013, Held as Part of CICM 2013, Bath, UK, July 8-12, 2013. Proceedings. Berlin, Heidelberg: Springer Berlin Heidelberg, 2013.
MLA (8e ed.) BronvermeldingSpringerLink (Online service), et al. Intelligent Computer Mathematics: MKM, Calculemus, DML, and Systems and Projects 2013, Held as Part of CICM 2013, Bath, UK, July 8-12, 2013. Proceedings. Springer Berlin Heidelberg, 2013.