Implementation: section on object references (improved 4)
Implementation: section on safe garbage collection