A logic-topological calculus for the construction of integrated circuits. I

From MaRDI portal