TY - JOUR AU - RAIRO-ITA TI - Bibliographie JO - RAIRO. Informatique théorique PY - 1979 DA - 1979/// SP - 299 EP - 299 VL - 13 IS - 3 PB - EDP-Sciences UR - http://www.numdam.org/item/ITA_1979__13_3_299_0/ LA - fr ID - ITA_1979__13_3_299_0 ER -