https://123dok.com/document/zlr6ol2z-integration-theory-methods-database-mappings-programming-languages-semantics.html