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, und 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 von 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, Seite 97-101. New York, NY, USA, ACM, (2004)