Domain science and engineering : a foundation for software development - Bjørner, Dines, 1937- (Monographs in theoretical computer science. An eatcs series, 2021)