Sophie Anglade, Jean-Jacques Lacrampe and I wrote a short paper, the
goal of which being to specify precisely how undefined is the
evaluation order for combinations. Before sending it to Lisp Pointers,
we make it available on:
ftp.inria.fr:INRIA/Projects/icsla/Papers/orleans.ps.gz
Happy reading and comments welcome,
Christian.