http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-2.xsd
Logic minimization algorithms for VLSI synthesis
by Robert K. Brayton, Gary D. Hachtel, Curtis T. McMullen,...[και ά.]
The Kluwer international series in engineering and computer science