Jon G. Riecke Ramesh Viswanathan Isolating Side Effects in Sequential Languages. 1-12 1995 POPL db/conf/popl/popl95.html#RieckeV95