Title: Abstract data types with garbage collection
First published: 1993