APA (7th ed.) Citation

Bjørner, D. (2006). Software engineering 2 : specification of systems and languages / D. Bjørner: Specification of systems and languages. Springer.

Chicago Style (17th ed.) Citation

Bjørner, D. Software Engineering 2 : Specification of Systems and Languages / D. Bjørner: Specification of Systems and Languages. Berlin: Springer, 2006.

MLA (9th ed.) Citation

Bjørner, D. Software Engineering 2 : Specification of Systems and Languages / D. Bjørner: Specification of Systems and Languages. Springer, 2006.

Warning: These citations may not always be 100% accurate.