References

1

Harold Abelson, Gerald J. Sussman, Structure and Interpretation of Computer Programs, MIT Press, 1985.

2

Adobe Systems Inc., PostScript Language, Tutorial and Cookbook, Addison Wesley, 1985.

3

Al V. Aho, Ravi Sethi, Jeff D. Ullman, Compilers: Principles, Techniques, and Tools, Addison Wesley, 1986. En français: Compilateurs : principes, techniques et outils, trad. par Pierre Boullier, Philippe Deschamp, Martin Jourdan, Bernard Lorho, Monique Mazaud, InterÉditions, 1989.

4

Henk Barendregt, The Lambda Calculus, Its Syntax and Semantics, North Holland, 1981.

5

Danièle Beauquier, Jean Berstel, Philippe Chrétienne, Eléments d'algorithmique, Masson, Paris, 1992.

6

Jon Bentley, Programming Pearls, Addison Wesley, 1986.

7

Claude Berge, La théorie des graphes et ses applications, Dunod, Paris, 1966.

8

Jean Berstel, Jean-Eric Pin, Michel Pocchiola, Mathématiques et Informatique, McGraw-Hill, 1991.

9

Noam Chomsky, Marcel Paul Schützenberger, The algebraic theory of context free languages dans Computer Programming and Formal Languages, P. Braffort, D. Hirschberg ed. North Holland, Amsterdam, 1963

10

Thomas H. Cormen, Charles E. Leiserson, Ronald L. Rivest, Algorithms, MIT Press, 1990.

11

Patrick Cousot, Introduction à l'algorithmique et à la programmation, Ecole Polytechnique, Cours d'Informatique, 1986.

12

Shimon Even, Graph Algorithms, Computer Science Press, Potomac, Md, 1979.

13

David Goldberg, What Every Computer Scientist Should Know About Floating-Point Arithmeticc, Computing Surveys, 23(1), Mars 1991.

14

Gaston H. Gonnet, Riccardo Baeza-Yates, Handbook of Algorithms and Data Structures, In Pascal and C, Addison Wesley, 1991.

15

Mike J. C. Gordon, Robin Milner, Lockwood Morris, Malcolm C. Newey, Chris P. Wadsworth, A metalanguage for interactive proof in LCF, In 5th ACM Symposium on Principles of Programming Languages, 1978, ACM Press, New York.

16

Ron L. Graham, Donald E. Knuth, Oren Patashnik, Concrete mathematics: a foundation for computer science, Addison Wesley, 1989.

17

Samuel P. Harbison, Modula-3, Prentice Hall, 1992.

18

John H. Hennessy, David A. Patterson, Computer Architecture, A Quantitative Approach, Morgan Kaufmann Publishers, Inc. , 1990.

19

Kathleen Jensen, Niklaus Wirth, PASCAL user manual and report : ISO PASCAL standard, Springer, 1991. (1ère édition en 1974).

20

Gerry Kane, Mips, RISC Architecture, MIPS Computer Systems, Inc., Prentice Hall, 1987.

21

Brian W. Kernighan, Dennis M.Ritchie, The C programming language, Prentice Hall, 1978. En français: Le Langage C, trad. par Thierry Buffenoir, Manuels informatiques Masson, 8ème tirage, 1990.

22

Brian W. Kernighan, PIC-a language for typesetting graphics, Software Practice & Experience 12 (1982), 1-20.

23

Dick B. Kieburtz, Structured Programming And Problem Solving With Algol W, Prentice Hall, 1975.

24

Stephen C. Kleene, Introduction to Metamathematics, North Holland, 6ème édition, 1971. (1ère en 1952).

25

Donald E. Knuth, The book, Addison Wesley, 1984.

26

Donald E. Knuth, The Metafont book, Addison Wesley, 1986.

27

Donald E. Knuth, Fundamental Algorithms. The Art of Computer Programming, vol 1, Addison Wesley, 1968.

28

Donald E. Knuth, Seminumerical algorithms, The Art of Computer Programming, vol 2, Addison Wesley, 1969.

29

Donald E. Knuth, Sorting and Searching. The Art of Computer Programming, vol 3, Addison Wesley, 1973.

30

Leslie Lamport, , User's guide & Reference Manual, Addison Wesley, 1986.

31

Butler W. Lampson et Ken A. Pier, A Processor for a High-Performance Personal Computer, Xerox Palo Alto Research Center Report CSL-81-1. 1981 (aussi dans Proceedings of Seventh Symposium on Computer Architecture, SigArch/IEEE, La Baule, Mai 1980, pp. 146-160.

32

Jan van Leeuwen, Handbook of theoretical computer science, volumes A et B, MIT press, 1990.

33

M. Lothaire, Combinatorics on Words, Encyclopedia of Mathematics, Cambridge University Press, 1983.

34

Udi Manber, Introduction to Algorithms, A creative approach, Addison Wesley, 1989

35

Bob Metcalfe, D. Boggs, Ethernet: Distributed Packet Switching for Local Computer Networks, Communications of the ACM 19,7, Juillet 1976, pp 395-404.

36

Robin Milner, A proposal for Standard ML, In ACM Symposium on LISP and Functional Programming, pp 184-197, 1984, ACM Press, New York.

37

Robin Milner, Mads Tofte, Robert Harper, The definiton of Standard ML, The MIT Press, 1990.

38

Greg Nelson, Systems Programming with Modula-3, Prentice Hall, 1991.

39

Eric Raymond, The New Hacker's Dictionary, dessins de Guy L. Steele Jr., MIT Press 1991.

40

Brian Randell, L. J. Russel, Algol 60 Implementation, Academic Press, New York, 1964.

41

Martin Richards, The portability of the BCPL compiler, Software Practice and Experience 1:2, pp. 135-146, 1971.

42

Martin Richards, Colin Whitby-Strevens, BCPL : The Language and its Compiler, Cambride University Press, 1979.

43

Denis M. Ritchie et Ken Thompson, The UNIX Time-Sharing System, Communications of the ACM, 17, 7, Juillet 1974, pp 365-375 (aussi dans The Bell System Technical Journal, 57,6, Juillet-Aout 1978).

44

Hartley Rogers, Theory of recursive functions and effective computability, MIT press, 1987, (édition originale McGraw-Hill, 1967).

45

A. Sainte-Laguë, Les réseaux (ou graphes), Mémoire des Sciences Mathématiques (18), 1926.

46

Bob Sedgewick, Algorithms, 2nd edition, Addison-Wesley, 1988. En français: Algorithmes en langage C, trad. par Jean-Michel Moreau, InterEditions, 1991.

47

Ravi Sethi, Programming Languages, Concepts and Constructs, Addison Wesley, 1989.

48

Bjarne Stroustrup, The C++ Programming Language, Addison Wesley, 1986.

49

Robert E. Tarjan, Depth First Search and linear graph algorithms, Siam Journal of Computing, 1, pages 146-160, 1972.

50

Chuck P. Thacker, Ed M. McCreight, Butler W. Lampson, R. F. Sproull, D. R. Boggs, Alto: A Personal Computer, Xerox-PARC, CSL-79-11, 1979 (aussi dans Computer Structures: Readings and Examples, 2nd edition, par Siewoiorek, Bell et Newell).

 

51

Pierre Weis, The CAML Reference Manual, version 2-6.1, Rapport technique 121, INRIA, Rocquencourt, 1990.

52

Pierre Weis, Xavier Leroy, Le langage Caml, InterEditions, 1993.