Chris George The NDB Database Specified in the RAISE Specification Language. 48-75 1992 4 Formal Asp. Comput. 1 db/journals/fac/fac4.html#George92