APA (7th ed.) Citation

Bjørner, D. (2006). Software engineering 1 : abstraction and modelling / D. Bjørner: Abstraction and modelling. Springer.

Chicago Style (17th ed.) Citation

Bjørner, D. Software Engineering 1 : Abstraction and Modelling / D. Bjørner: Abstraction and Modelling. Berlin: Springer, 2006.

MLA (9th ed.) Citation

Bjørner, D. Software Engineering 1 : Abstraction and Modelling / D. Bjørner: Abstraction and Modelling. Springer, 2006.

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