کتاب های Dines Bjørner
The Vienna Development Method: The Meta-Language
Peter Lucas (auth.), Dines Bjørner, Cliff B. Jones (eds.), 1978
Formal Methods: State of the Art and New Directions
Dines Bjørner (auth.), 2010
Software Engineering 1: Abstraction and Modelling
Dines Bjørner, 2006
Domain Science and Engineering: A Foundation for Software Development
Dines Bjørner, 2021
