1. Lecture Notes in Computer Science;S. Autexier,2000
2. Berners-Lee, T., Fielding, R., Masinter, L.: Uniform Resource Identifier (URI): Generic Syntax, RFC 3986, Internet Engineering Task Force (2005)
3. Bertot, Y., Castéran, P.: Coq’Art: The Calculus of Inductive Constructions. Springer, Heidelberg (2004)
4. Bourbaki, N.: Theory of Sets. In: Elements of Mathematics, Springer, Heidelberg (1968)
5. Bourbaki, N.: Algebra I. In: Elements of Mathematics, Springer, Heidelberg (1974)