Comment by pjmlp

RC is a GC algorithm, naturally there are different implementations available.

Semantics are well defined in research literature.