Collins, George E., A method for overlapping and erasure of lists
(1967)
Languages mentioned
REFCO III
{1966} Reference counting list processing system
SAC-1
{1967} Symbolic Algebraic Computing