Samit Khosla T. S. E. Maibaum M. R. Sadler Database Specification. 141-158 1985 DS-1 db/conf/ds/ds85.html#KhoslaMS85