LAURA: A Formal Data Model and her Logical Design Methodology.

Robert Brown, Douglas Stott Parker Jr.

Browse the full VLDB paper archive.