A cyclic reference counting algorithm and its proof (1988)

by E J H Pepels, M C J D van Eekelen, M J Plasmeijer