Ike Nassi, an Executive Vice President and my former manager at SAP, writes in an email: By accident, while reviewing a very old CACM paper “Programming Semantics for Multiprogrammed Computat…