Bjørner, D. (2008). Logics of Specification Languages. Springer Berlin.
Chicago-Zitierstil (17. Ausg.)Bjørner, Dines. Logics of Specification Languages. Berlin [u.a.]: Springer Berlin, 2008.
MLA-Zitierstil (9. Ausg.)Bjørner, Dines. Logics of Specification Languages. Springer Berlin, 2008.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.