Παραπομπή APA

Bjorner, D. 1., & Henson, M. C. (2008). Logics of specification languages. Berlin: Springer.

Παραπομπή Chicago Style

Bjorner, Dines 1937-, and Martin C. Henson. Logics of Specification Languages. Berlin: Springer, 2008.

Παραπομπή MLA

Bjorner, Dines 1937-, and Martin C. Henson. Logics of Specification Languages. Berlin: Springer, 2008.

Πρόσοχή: Οι παραπομπές μπορεί να μην είναι 100% ακριβείς.