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

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