Semantics of types for database objects (1990)

by A OHORI
Venue:Theoretical Computer Science