1980-1989 (1)
1984 (1)
RAIRO. Informatique théorique (1)
Journal article (1)
Bucher, W.; Culik II, K.
RAIRO. Informatique théorique, Volume 18 (1984) p. 307-325