Joachim W. Schmidt Florian Matthes Lean Languages and Models: Towards an Interoperable Kernel for Persistent Object Systems. 2-16 1993 RIDE-IMS db/conf/ride/ride93.html#SchmidtM93