Second-Order Signature: A Tool for Specifying Data Models (1993)

by Ralf Hartmut Güting
Venue:Query Processing, and Optimization. Proc. ACM SIGMOD Conf