APA (7th ed.) Citation

Bjørner, D. Software engineering 2: Specification of systems and languages.

Chicago Style (17th ed.) Citation

Bjørner, Dines. Software Engineering 2: Specification of Systems and Languages.

MLA (8th ed.) Citation

Bjørner, Dines. Software Engineering 2: Specification of Systems and Languages.

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