Ruf, J. (2014). Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen: MBMV 2014 (1. Aufl.). Cuvillier.
Chicago-Zitierstil (17. Ausg.)Ruf, Jürgen. Methoden Und Beschreibungssprachen Zur Modellierung Und Verifikation Von Schaltungen Und Systemen: MBMV 2014. 1. Aufl. Göttingen: Cuvillier, 2014.
MLA-Zitierstil (9. Ausg.)Ruf, Jürgen. Methoden Und Beschreibungssprachen Zur Modellierung Und Verifikation Von Schaltungen Und Systemen: MBMV 2014. 1. Aufl. Cuvillier, 2014.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.