https://123dok.net/document/yj7v49g6-from-language-towards-formal-spatial-calculi.html