EMDABS. Design and formal specification of a datamodel for a clinical research database system - Pfaffenhöfer, F. M. (EUT report, 1991)