Domains, requirements, and software design - Bjørner, Dines (Texts in theoretical computer science, 2006)