Domain science and engineering from computer science to the sciences of informatics. Part II: Science - D. Bjorner (Cybernetics and Systems Analysis, 2011)