@inbook{01ca386b324a4ca0a73503bede15a6b5,
title = "Domain modelling: resource management strategics, tactics and operations, decision support and algorithmic software",
author = "Dines Bj{\o}rner",
year = "2001",
language = "English",
isbn = "978-0333922309",
pages = "23--40",
editor = "Jim Davies and Bill Roscoe and J.C.P. Woodcock",
booktitle = "Millennial Perspectives in Computer Science: Proceedings of the 1999 Oxford-Microsoft Symposium in Honour of Sir Tony Hoare",
publisher = "Red Globe Press",
edition = "2001",
}