R. O'Donnell. (2021)cite arxiv:2105.10386Comment: First edition originally published April 2014, in hardcover book format by Cambridge University Press, and electronically on the author's website. This arXiv version corrects 100+ typos and errors, but is otherwise essentially the same.
R. Rudell, and A. Sangiovanni-Vincentelli. Computer-Aided Design of Integrated Circuits and Systems, IEEE Transactions
on, 6 (5):
727-750(September 1987)
R. Wille. Conceptual Structures: Logical, Linguistic, and
Computational Issues, volume 1867 of Lecture Notes in Computer Science, Springer, Berlin/Heidelberg, (2000)
A. Waraich. ITiCSE '04: Proceedings of the 9th annual SIGCSE conference on Innovation and technology in computer science education, page 97-101. New York, NY, USA, ACM, (2004)