1. Byliński, C.: The Complex Numbers. Formalized Mathematics 1(3), 507–513 (1990)
2. Bancerek, G.: On the Structure of Mizar Types. In: Geuvers, H., Kamareddine, F. (eds.) Proc. of MLC 2003, ENTCS, vol. 85(7) (2003)
3. Davies, M.: Obvious Logical Inferences. In: Proceedings of the 7th International Joint Conference on Artificial Intelligence, pp. 530–531 (1981)
4. de Bruijn, N.G.: The Mathematical Vernacular, a language for mathematics with typed sets. In: Dybjer, P., et al. (ed.) Proc. of the Workshop on Programming Languages, Marstrand, Sweden (1987)
5. von zur Gathen, J., Gerhard, J.: Modern Computer Algebra. Cambridge University Press, Camebridge (1999)