The CLR via c # has such a phrase in recycling

"Reference tracking algorithm only care about a reference type variable, because only such a variable can reference object on the heap,"

That how to explain the field contains a reference type structure?

How to design programs to prove this sentence