Partial orders and the axiomatic theory of shuffle (1984)

by J Gischer