Minato S. Binary decision diagrams and applications for VLSI CAD / S.Minato, 1996. - XIII,141 p. p. - Текст : непосредственный.