Nikolaos Papaspyrou Dragan Macos A study of evaluation order semantics in expressions with side effects. 227-244 2000 10 J. Funct. Program. 3 db/journals/jfp/jfp10.html#PapaspyrouM00