A Type-Safe Database Interface. - Florian Villoing; Emmanuel Briot (Ada-Europe, 2008)