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