@TechReport{iria-recherche-283,
  author = 	 "G{\'{e}}rard Huet, Dallas Lankford",
  title = 	 "On the uniform halting problem for term rewriting
		  systems",
  institution =  "Institute de Recherche d'Informatique et
		  d'Automatique",
  year = 	 1978,
  key =		 "Gerard Huet",
  number =	 "Rapports de Recherche No. 283"
}

@TechReport{iria-recherche-285,
  author = 	 "bruno Courcelle",
  title = 	 "On recursive equations having a unique solution",
  institution =  "Institute de Recherche d'Informatique et
		  d'Automatique",
  year = 	 1978,
  number =	 "Rapports de Recherche No. 285"
}

@TechReport{iria-recherche-289,
  author = 	 "Guy Pujolle",
  title = 	 "Applications of some Markov chains resuluts to
		  computer systems modelling",
  institution =  "Institute de Recherche d'Informatique et
		  d'Automatique",
  year = 	 1978,
  number =	 "Rapports de Recherche No. 289"
}