Text this: Formalization of ORM revisited