Thorelli, Lars-Erik "Modules and type checking in PL/LL" pp268-276

[OOPSLA 1987] (1987) SIGPLAN Notices 22(12) December 1987 (OOPSLA '87)  

Languages mentioned PL/LL {1983} object oriented hybrid language system