Strniša, Rok; Sewell, Peter; Parkinson, Matthew (2007-10-21). "The java module system: Core design and semantic definition". ACM SIGPLAN Notices. 42 (10). Association for Computing Machinery: 499–514. doi:10.1145/1297105.1297064. ISBN 978-1-59593-786-5. 978-1-59593-786-5
Strniša, Rok. "Lightweight Java". rok.strnisa.com. Retrieved 2019-11-25. https://rok.strnisa.com/research/lj/
Strniša, Rok; Parkinson, Matthew (2011-02-07). "Lightweight Java". Archive of Formal Proofs (Feb 2011 ed.). ISSN 2150-914X. Retrieved 2019-11-25. https://www.isa-afp.org/entries/LightweightJava.html