On Adding Garbage Collection and Runtime Types to a Strongly-Typed Statically Checked, Concurrent Language (1985)

by Paul Rovner