Fair FIFO Queues Satisfy an Algebraic Criterion for Protocol Correctness," Report CS-R8405, Centrum voor Wiskunde en Informatica (1984)

by J A BERGSTRA, J W KLOP