RAIRO : Informatique théorique, Vol 19, No 1 à 4, 1985.