M. Codescu, F. Horozal, M. Kohlhase, T. Mossakowski, und F. Rabe. Intelligent Computer Mathematics 18th Symposium, Calculemus 2011, and 10th International Conference, MKM 2011, Bertinoro, Italy, July 18-23, 2011. Proceedings, Volume 6824 von Lecture Notes in Computer Science, Seite 289-291. Springer-Verlag Berlin Heidelberg, (2011)