Lean languages and models: towards an interoperable kernel for persistent object systems | IEEE Conference Publication | IEEE Xplore