MJ: An imperative core calculus for Java and Java with effects (2003)

by G M Bierman, G M Bierman, G M Bierman, M J Parkinson, M J Parkinson, M J Parkinson, A M Pitts, A M Pitts, A M Pitts