S. T. Shebs Robert R. Kessler Automatic design and implementation of language data types. 26-37 1987 conf/pldi/1987 PLDI http://doi.acm.org/10.1145/29650.29653 db/conf/pldi/pldi1987.html#ShebsK87