A representation theorem for quantales (1993)

by C Brown, D Gurr
Venue:J. Pure and Applied Algebra