Cyclic reference counting for combinator machines - Brownbridge, David R. (1985)