Authors: Chris George

Citation: Chris George, The NDB database specified in the RAISE specification language, Formal aspects of computing The international journal of formal methods , 4(1), 1992, pp. 48-75