A generic algebra for data collections based on constructive logic (1995)

by P Rajagopalan, C P Tsang
Venue:In Algebraic Methodology and Software Technology, volume 936 of LNCS