1. Allen, S., Bickford, M., Constable, R., Eaton, R., Kreitz, C., Lorigo, L.: FDL: A prototype formal digital library - description and draft reference manual. Technical report, Computer Science, Cornell (2002),
http://www.cs.cornell.edu/Info/Projects/NuPrl/html/FDLProject/02cucs-fdl.pdf
2. Lecture Notes in Computer Science;A. Asperti,2001
3. Ausbrooks, R., Buswell, S., Carlisle, D., Dalmas, S., Devitt, S., Diaz, A., Froumentin, M., Hunter, R., Ion, P., Kohlhase, M., Miner, R., Poppelier, N., Smith, B., Soiffer, N., Sutor, R., Watt, S.: Mathematical Markup Language (MathML) version 2.0, 2nd edn. W3c recommendation, World Wide Web Consortium (2003), available at:
http://www.w3.org/TR/MathML2
4. Axelrod, R.: The Evolution of Cooperation. Basic Books, New York (1984)
5. Birk, A., Wiernik, J.: An n-players prisoner’s dilemma in a robotic ecosystem. International Journal of Robotics and Autonomous Systems 39, 223–233 (2002)