A theory of sequentiality (1993)

by A Bucciarelli, T Ehrhard
Venue:TCS