multiply fibred automaton semantics for IWIM / R.Banach,F.Arbab,G. A.Papadopoulas,J. R. W.Glauert, 2002. - 59 p. - Текст : непосредственный.