Information systems for continuous posets (1993)

by S J Vickers
Venue:Theoretical Computer Science