On the algebra of order — extended abstract (1978)

by D J Lehmann
Venue:In 19th Symposium on the Foundations of Computer Science (FOCS