The NDB database specified in the RAISE specification language Chris George OriginalPaper Pages: 48 - 75
Modularising the specification of a small database system in extended ML Edmund Kazmierczak OriginalPaper Pages: 100 - 142