Yoav Raz IL Systems with Bounded Interactions. 13-19 1978 4 Bulletin of the EATCS db/journals/eatcs/eatcs4.html#Raz78