Hans-Juergen Karl Hermann Boehm
-
Side effects and aliasing can have simple axiomatic descriptions
ACM Transactions on Programming Languages and Systems (TOPLAS)