On the symmetry of sequentiality (1993)

by P-L Curien
Venue:In Mathematical Foundations of Computer Science, number 802 in LNCS