1 result

Bucher, W.; Culik II, K.

RAIRO. Informatique théorique, Volume 18 (1984) p. 307-325