Could you name a couple of languages in which the order of operations is not guaranteed?

I can name you one: Fortran. In standard Fortran 95 the only way of enforcing an evaluation order on two or more conjoined logical expressions is by nesting them as separate IF statements.

There's a discussion on this at SO which details some other exceptions.