S'equentialit'e de l'evaluation formelle des *-expressions (1978)

by G Berry
Venue:In Proc. 3rd International Colloquium on Programming