Formal Data Base Specification - An Eclectic Perspective.

Marco A. Casanova, Paulo A. S. Veloso, Antnio L. Furtado

Browse the full PODS paper archive.