Second-order signature: A tool for specifying data models, query processing, and 39 (1993)

by R H Güting
Venue:In Proc. of the ACM SIGMOD Intl. Conf. on Management of Data