Thanks for the pointer. I know Norman quite well and will discuss this with him. But in all honesty, I believe students see too many low-level details in currentc curricula, and not enough reasoning about values and operations, logical claims and invariants. The latter is far more important for software engineering in the end than the machine. -- Matthias