Maia: A language for mandatory integrity controls of structured data, Wassnaa Al-Mawee, Paul Bonamy, Steven Carr, Jean Mayo
Michigan Tech Publications