David Janin: Towards a Higher-Dimensional String Theory for the Modeling of Computerized Systems. SOFSEM 2014: 7-20