@book{Wolska_2015,
title={Students' language in computer-assisted tutoring of mathematical proofs},
author={Wolska, Magdalena A.},
isbn={978-3-86223-112-6},
doi={http://dx.doi.org/10.22028/D291-32289},
adress={Saarbrücken},
publisher={universaar},
year={2015}
}