Algorithms for VLSI design automation - Gerez, Sabih H. (England John Wiley and Sons, 1999)
Keywords: Algebra -- Computer algorithms -- Programming (Mathematics).