Jürgen F. H. Winkler. Type Compatibility for Extensible Module Types, Their Reference Parameters, and Their Pointer Types. J. UCS, 3(2):120-146, 1997. [doi]
@article{Winkler97, title = {Type Compatibility for Extensible Module Types, Their Reference Parameters, and Their Pointer Types}, author = {Jürgen F. H. Winkler}, year = {1997}, url = {http://www.jucs.org/jucs_3_2/type_compatibility_for_extensible}, researchr = {https://researchr.org/publication/Winkler97}, cites = {0}, citedby = {0}, journal = {J. UCS}, volume = {3}, number = {2}, pages = {120-146}, }