1. Marco Bellia and M. Eugenia Occhiuto. 2011. Properties of Java Simple Closures.Fundam. Inf.109, 3 (Aug. 2011), 237--253. http://dl.acm.org/citation.cfm?id=2361335.2361338
2. Lorenzo Bettini, Viviana Bono, Mariangiola Dezani-Ciancaglini, and Betti Venneri. 2018. Java & Lambda: a Featherweight Story.CoRRabs/1801.05052 (2018).
3. Gavin M Bierman, MJ Parkinson, and AM Pitts. 2003.MJ: An imperative core calculus for Java and Java with effects.Technical Report. University of Cambridge, Computer Laboratory.
4. G Bracha, N Gafter, J Gosling, and P von der Ahe. 2008. Closures for the Java prog. lang. (aka BGGA). http://javac.info/. (2008).
5. Koen Claessen and John Hughes. 2000. QuickCheck: A Lightweight Tool for Random Testing of Haskell Programs. InACM SIGPLAN Int. Conf. on Func. Prog. (ICFP '00).ACM, New York, NY, USA, 268--279.