@TechReport{inria-recheniques-18,
  author = 	 "Ren{\'{e}} Lozi",
  title = 	 "Bifurcation and nonlinear eigenvalue problems : A
		  tentative bibliography",
  institution =  "Institut National de Recherche en Informatique et an
		  Automatique",
  year = 	 1982,
  key =		 "Rene Lozi",
  number =	 "Rapports Techniques No.18"
}

@TechReport{inria-techniques-29,
  author = 	 "Anne Schroeder",
  title = 	 "Une {\'{e}}tude quantitative statique de programmes
		  Pascal",
  institution =  "Institut National de Recherche en Informatique et an
		  Automatique",
  year = 	 1983,
  key =		 "Une etude quantitative statique de programmes Pascal",
  number =	 "Rapports Techniques No.29"
}

@TechReport{inria-techniques-31,
  author = 	 "Bertrand Serlet",
  title = 	 "Le langage hell de description de circuits integres",
  institution =  "Institut National de Recherche en Informatique et an
		  Automatique",
  year = 	 1983,
  number =	 "Rapports Techniques No.31"
}

@TechReport{inria-techniques-39,
  author = 	 "Anne Schroeder",
  title = 	 "On the distribution of statements in Pascal programs",
  institution =  "Institut National de Recherche en Informatique et an
		  Automatique",
  year = 	 1984,
  number =	 "Rapports Techniques No.39"
}

@TechReport{inria-techniques-43,
  author = 	 "Bertrand M{\'{e}}l{\`{e}}se, Val{\'{e}}rie Migot,
		  Denis Berove",
  title = 	 "The Mentor-V5 documentation",
  institution =  "Institut National de Recherche en Informatique et an
		  Automatique",
  year = 	 1985,
  key =		 "Bertrand Melese, Valerie Migot, Denis Verove",
  number =	 "Rapports Techniques No.43"
}

@TechReport{inria-techniques-48,
  author = 	 "Patrice Bertrand",
  title = 	 "Pr{\'{e}}sentation des normes graphiques GKS",
  institution =  "Institut National de Recherche en Informatique et an
		  Automatique",
  year = 	 1985,
  key =		 "Presentation des normes graphiques GKS",
  number =	 "Rapports Techniques No.48"
}

@TechReport{inria-techniques-49,
  author = 	 "Dominique Potier, Michel V{\'{e}}ran",
  title = 	 "The Markovian solver of QNAP2 and applications",
  institution =  "Institut National de Recherche en Informatique et an
		  Automatique",
  year = 	 1985,
  key =		 "Dominique Potier, Michel Veran",
  number =	 "Rapports Techniques No.49"
}

@TechReport{inria-techniques-50,
  author = 	 "Matthiew Devin,",
  title = 	 "Le portage du syst{\`{e}}me LE_LISP mode d'emploi",
  institution =  "Institut National de Recherche en Informatique et an
		  Automatique",
  year = 	 1985,
  key =		 "Le portage du systeme LE_LISP mode d'emploi",
  number =	 "Rapports Technique No.50"
}

@TechReport{inria-techniques-51,
  author = 	 "Christine Eisenbeis, Jocelyne Erhel",
  title = 	 "{\'{E}}tude de performances du calculateur vectoriel 
		  ST 100",
  institution =  "Institut National de Recherche en Informatique et an
		  Automatique",
  year = 	 1985,
  key =		 "Etude des performances du calculateur vectoriel ST
		  100",
  number =	 "Rapports Technique No.51"
}

@TechReport{inria-techniques-54,
  author = 	 "Bertrand M{\{e}}l{\`{e}}se",
  title = 	 "{\'{E}}dition de documents multi-langages sous
		  Mentor-Rapport",
  institution =  "Institut National de Recherche en Informatique et an
		  Automatique",
  year = 	 1985,
  key =		 "Bertrand Melese / Edition de documents
		  multi-langages sous Mentor-Rapport",
  number =	 "Rapports Technique No.54"
}

@TechReport{inria-techniques-60,
  author = 	 "Jean-Marie Hullot",
  title = 	 "Alcyone : La bo{\^{i}}te {\`{a}} outils objets",
  institution =  "Institut National de Recherche en Informatique et an
		  Automatique",
  year = 	 1985,
  key =		 "Alcyone : La boite a outils objets",
  number =	 "Rapports Techniques No.60"
}

@TechReport{inria-techniques-66,
  author = 	 "Eric Gautrin",
  title = 	 "Madmacs manuel d'utilisation",
  institution =  "Institut National de Recherche en Informatique et an
		  Automatique",
  year = 	 1986,
  number =	 "Rapports Techniques No.66"
}

@TechReport{inria-techniques-67,
  author = 	 "Jocelyne Erhel",
  title = 	 "Concurrent programming and numerical applications",
  institution =  "Institut National de Recherche en Informatique et an
		  Automatique",
  year = 	 1986,
  number =	 "Rapports Techniques No.67"
}

@TechReport{inria-techniques-68,
  author = 	 "Vincent Dupourque",
  title = 	 "{\'{E}}tude et r{\'{e}}alisation d'une pince a deux
		  doigts pour le robot V80",
  institution =  "Institut National de Recherche en Informatique et an
		  Automatique",
  year = 	 1986,
  key =		 "Etude et realisation d'une pince a deux doigts pour
		  le robot V80",
  number =	 "Rapports Techniques No.68"
}

@TechReport{inria-techniques-69,
  author = 	 "Patrick Laug",
  title = 	 "How to implement modulef",
  institution =  "Institut National de Recherche en Informatique et an
		  Automatique",
  year = 	 1986,
  number =	 "Rapports Techniques No.69"
}

@TechReport{inria-techniques-70,
  author = 	 "Patrice Bertrand",
  title = 	 "Pr{\'{e}}sentation des normes graphiques GKS",
  institution =  "Institut National de Recherche en Informatique et an
		  Automatique",
  year = 	 1986,
  key =		 "Presentation des normes graphiques GKS",
  number =	 "Rapports Techniques No.70"
}

@TechReport{inria-techniques-71,
  author = 	 "Janet Incerpi, Francis Montagnac",
  title = 	 "Getting faster tex output",
  institution =  "Institut National de Recherche en Informatique et an
		  Automatique",
  year = 	 1986,
  number =	 "Rapports Techniques No.71"
}

@TechReport{inria-techniques-72,
  author = 	 "Roland Ducournau, Jo{\"{e}}l Quinqueton",
  title = 	 "YAFOOL : Encore un langage objet {\`{a}} base de
		  frames!",
  institution =  "Institut National de Recherche en Informatique et an
		  Automatique",
  year = 	 1986,
  number =	 "Rapports Techniques No.72"
}

@TechReport{inria-techniques-75,
  author = 	 "Laurence Gallot-Rideau",
  title = 	 "ASHTEX : An interactive previewer for TEX or the
		  marvellous world of Ashtex",
  institution =  "Institut National de Recherche en Informatique et an
		  Automatique",
  year = 	 1986,
  number =	 "Rapports Techniques No.75"
}

@TechReport{inria-techniques-77,
  author = 	 "Dominique L. Scapin",
  title = 	 "Guide ergonomique de conception des interfaces
		  homme-machine",
  institution =  "Institut National de Recherche en Informatique et an
		  Automatique",
  year = 	 1986,
  number =	 "Rapports Techniques No.77"
}

@TechReport{inria-techniques-87,
  author = 	 "Claude Jard, Jean-Francois Monin, Roland Groz",
  title = 	 "Development of Veda, A prototyping tool for
		  distributed algorithms",
  institution =  "Institut National de Recherche en Informatique et an
		  Automatique",
  year = 	 1987,
  number =	 "Rapports Techniques No.87"
}

@TechReport{rapports-techniques-88,
  author = 	 "Didier Plateau, Patricia Pauthe",
  title = 	 "Ever : A full-screen editor for nested relations",
  institution =  "Institut National de Recherche en Informatique et an
		  Automatique",
  year = 	 1987,
  number =	 "Rapports Techniques No.88"
}

@TechReport{rapports-techniques-90,
  author = 	 "Albert G. Budkley",
  title = 	 "System design for the testing of mathematical
		  software",
  institution =  "Institut National de Recherche en Informatique et an
		  Automatique",
  year = 	 1987,
  number =	 "Rapports Techniques No.90"
}

@TechReport{rapports-techniques-93,
  author = 	 "Jean-Philippe Chancelier, Agne{\`{e}}s Sulem",
  title = 	 "MACROTEX : A LATEX code generator in Macsyma",
  institution =  "Institut National de Recherche en Informatique et an
		  Automatique",
  year = 	 1987,
  number =	 "Rapports Techniques No.93"
}

@TechReport{rapports-techniques-100,
  author = 	 "Paul Louis George, Ardeshir Golgolab",
  title = 	 "Mailleur 3D en topologie "cylindrique"",
  institution =  "Institut National de Recherche en Informatique et an
		  Automatique",
  year = 	 1988,
  number =	 "Rapports Techniques No.100"
}

@TechReport{rapports-techniques-103,
  author = 	 "Le Groupe SOR",
  title = 	 "Programmer's  manual for SOS prototype - version 4",
  institution =  "Institut National de Recherche en Informatique et an
		  Automatique",
  year = 	 1988,
  number =	 "Rapports Techniques No.103"
}

@TechReport{rapports-techniques-105,
  author = 	 "Philippe Garnesson, G{\'{e}}rard Giraudon",
  title = 	 "Un standard pour une representation d'objects de
		  type liste dans le domaine du traitement d'image",
  institution =  "Institut National de Recherche en Informatique et an
		  Automatique",
  year = 	 1988,
  number =	 "Rapports Techniques No.105"
}

@TechReport{rapports-techniques-110,
  author = 	 "Le gorupe SOR",
  title = 	 "Protgammer's manual for SOS prototype -version 4",
  institution =  "Institut National de Recherche en Informatique et an
		  Automatique",
  year = 	 1989,
  number =	 "Rapports Techniques No.110"
}

@TechReport{rapports-techniques-113,
  author = 	 "Christophe Lavarenne, Yves Sorel",
  title = 	 "Syndex / Un environnement de programmation pour
		  multi-processeur de traitement du signal",
  institution =  "Institut National de Recherche en Informatique et an
		  Automatique",
  year = 	 1989,
  number =	 "Rapports Techniques No.113"
}

@TechReport{rapports-techniques-114,
  author = 	 "Bruno Salvy",
  title = 	 "Examples of automatic asymptotic expansions",
  institution =  "Institut National de Recherche en Informatique et an
		  Automatique",
  year = 	 1989,
  number =	 "Rapports Techniques No.114"
}

@TechReport{inria-techniques-116,
  author = 	 "Jo{\"{e}}lle Despeyroux",
  title = 	 "THEO: an interactive proof development system",
  institution =  "Institut National de Recherche en Informatique et an
		  Automatique",
  year = 	 1990,
  key =		 "Joelle Despeyroux",
  number =	 "Rapports Techniques No.116"
}

@TechReport{inria-techniques-117,
  author = 	 "Xavier Leroy",
  title = 	 "The ZINC experiment: an economical implementation of
		  the ML language ",
  institution =  "Institut National de Recherche en Informatique et an
		  Automatique",
  year = 	 1990,
  number =	 "Rapports Techniques No.117"
}

@TechReport{inria-techniques-123,
  author = 	 "G. Kiernan, C. de Maindreville",
  title = 	 "The RDL/C language reference manual V1",
  institution =  "Institut National de Recherche en Informatique et an
		  Automatique",
  year = 	 1990,
  number =	 "Rapports Techniques No.123"
}

@TechReport{inria-techniques-124,
  author = 	 "Claude Gomez, Maurice Goursat",
  title = 	 "METANET: a system for network problems study",
  institution =  "Institut National de Recherche en Informatique et an
		  Automatique",
  year = 	 1990,
  number =	 "Rapports Techniques No.124"
}

@TechReport{inria-techniques-129,
  author = 	 "Michel Mauny",
  title = 	 "Functional programming using CAML",
  institution =  "Institut National de Recherche en Informatique et an
		  Automatique",
  year = 	 1991,
  number =	 "Rapports Techniques No.129"
}

@TechReport{inria-techniques-130,
  author = 	 "Claude Gomez, Georges Le Vey, Christine Rougerie",
  title = 	 "Basile-Maple interface : a link between CACSD
		  package and computer algebra system",
  institution =  "Institut National de Recherche en Informatique et an
		  Automatique",
  year = 	 1991,
  number =	 "Rapports Techniques No.130"
}

@TechReport{inria-techniques-131,
  author = 	 "Hery Rakotoarisoa, Philippe Mussi",
  title = 	 "PARSEVAL : PARall{\'{e}}lisation sur r{\'{e}}seaux
		  de transputers de Simulations pour L'EVALuation de 
                  performances ",
  institution =  "Institut National de Recherche en Informatique et an
		  Automatique",
  year = 	 1991,
  number =	 "Rapports Techniques No.131"
}

@TechReport{inria-techniques-133,
  author = 	 "Roberto M. Amadio, Luca Cardelli",
  title = 	 "Subtyping recursive types",
  institution =  "Institut National de Recherche en Informatique et an
		  Automatique",
  year = 	 1992,
  number =	 "Rapports Techniques No.133"
}

@TechReport{inria-techniques-137,
  author = 	 "Michel Mauny",
  title = 	 "Integrating lazy evaluation in strict ML",
  institution =  "Institut National de Recherche en Informatique et an
		  Automatique",
  year = 	 1992,
  number =	 "Rapports Techniques No.137"
}

@TechReport{inria-techniques-138,
  author = 	 "Gilad Koren, Dennis Shasha",
  title = 	 "D-over: an optimal on-line scheduling algorithm for
		  overloaded real-time systems",
  institution =  "Institut National de Recherche en Informatique et an
		  Automatique",
  year = 	 1992,
  number =	 "Rapports Techniques No.138"
}

@TechReport{inria-techniques-140,
  author = 	 "Ian Jacobs, Laurence Rideau-Gallot",
  title = 	 "A CENTAUR tutorial",
  institution =  "Institut National de Recherche en Informatique et an
		  Automatique",
  year = 	 1992,
  number =	 "Rapports Techniques No.140"
}

@TechReport{inria-techniques-147,
  author = 	 "Xavier Leroy",
  title = 	 "Programmation du syst{\`{e}}me UNIX en CAML light",
  institution =  "Institut National de Recherche en Informatique et an
		  Automatique",
  year = 	 1993,
  number =	 "Rapport technique No.147"
}

@TechReport{inria-techniques-148,
  author = 	 "Patrick Capolsini, St[\'{e}}phane Dalmas, Yves Papegay",
  title = 	 "'Quaterman' : une biblioth{\`{e}}que maple de
		  calculs et de manipulations sur l'alg{\`{e}}bre 
                  des quaternions",
  institution =  "Institut National de Recherche en Informatique et an
		  Automatique",
  year = 	 1993,
  number =	 "Rapport technique No.148"
}

@TechReport{inria-techniques-149,
  author = 	 "Ian Jacobs, Janet Bertot",
  title = 	 "Sophtalk tutorials",
  institution =  "Institut National de Recherche en Informatique et an
		  Automatique",
  year = 	 1993,
  number =	 "Rapport technique No.149"
}

@TechReport{inria-techniques-150,
  author = 	 "Ian Jacobs, et. al.",
  title = 	 "The Sophtalk reference manual",
  institution =  "Institut National de Recherche en Informatique et an
		  Automatique",
  year = 	 1993,
  number =	 "Rapport technique No.150"
}

@TechReport{inria-techniques-151,
  author = 	 "Patrick Capolsini",
  title = 	 "Macro C = C code generation within maple",
  institution =  "Institut National de Recherche en Informatique et an
		  Automatique",
  year = 	 1993,
  number =	 "Rapport technique No.151"
}

@TechReport{inria-techniques-152,
  author = 	 "Philippe Canalda, et. al.",
  title = 	 "PAGODE : a back-end generator for RISC machines",
  institution =  "Institut National de Recherche en Informatique et an
		  Automatique",
  year = 	 1993,
  number =	 "Rapport technique No.152"
}

@TechReport{inria-techniques-153,
  author = 	 "Herv{\'{e}} Mathieu",
  title = 	 "A multi-DSP 96002 board",
  institution =  "Institut National de Recherche en Informatique et an
		  Automatique",
  year = 	 1993,
  key =          "Herve Mathieu",
  number =	 "Rapport technique No.153"
}

@TechReport{inria-techniques-161,
  author = 	 "Roberto M. Amadio, Pierre-Louis Curien",
  title = 	 "Selected domains and lambda calculi",
  institution =  "Institut National de Recherche en Informatique et an
		  Automatique",
  year = 	 1994,
  number =	 "Rapport technique No.161"
}

@TechReport{inria-techniques-171,
  author = 	 "Christian Rinderknecht",
  title = 	 "Une analyse syntaxique d'ASN.1 : 1990 en Caml Light",
  institution =  "Institut National de Recherche en Informatique et an
		  Automatique",
  year = 	 1995,
  number =	 "Rapport technique No.171"
}