1. Category Theory for Computing Science;Barr,1990
2. M. Barr, C. Wells, The categorical theory generated by a limit sketch, November 1994.
3. Spécification, généricité, prototypage;Bert;Tech. Sci. Inform.,1995
4. D. Bert et al., Reference manual of the specification language LPG, Technical Report 59, LIFIA, Mars 1990. Anonymous ftp at ftp.imag.fr, in /pub/SCOP/LPG/NewSun4/man_lpg.dvi.
5. D. Bert, C. Oriat, A model inference system for generic specification with application to code sharing. Proceedings of TAPSOFT’95, Lecture Notes in Computer Science, vol. 915, Springer, Berlin, 1995, pp. 741–755.