Linear Order in Lattices: A Constructive Study (1978)

by N Greenleaf
Venue:Threads, Remote Procedure Call, Directory Service. 11