Formal verification of hardware design / ed. M. Yoeli, 1990. - IX,326 p. p. - Текст : непосредственный.