Formalising, improving, and reusing the Java module system

Slides referencing similar topics