On adding garbage collection and runtime types to a strongly-typed, statically-checked, concurrent language (1985)

by P Rovner