参考文献
- ↑ Strniša, Rok; Sewell, Peter; Parkinson, Matthew (2007-10-21). "Javaモジュールシステム：コア設計と意味定義" . ACM SIGPLAN Notices . 42 (10). Association for Computing Machinery : 499– 514. doi : 10.1145/1297105.1297064 . ISBN 978-1-59593-786-5。
- ↑ストルニシャ、ロック。「軽量Java」。rok.strnisa.com 。2019年11月25日に取得。
- ↑ Strniša, Rok; Parkinson, Matthew (2011-02-07). "Lightweight Java" . Archive of Formal Proofs (2011年2月版). ISSN 2150-914X . 2019-11-25に取得.
