Tests and proofs : 1st international conference, TAP 2007, Zurich, Switzerland, February 12-13, 2007: revised papers / ed. Y. Gurevich, 2007 r=on-line. - Текст : электронный.
Abstract state machines : Theory and applicationsIntern. workshop, ASM 2000, Monte Verita, Switzerland, Mar.2000Proc. / Ed. Y. Gurevich, 2000. - X,379 p. p. - Текст : непосредственный.