van Eekelen and Rinus Plasmeijer, Guaranteeing Safe Destructive Updates through a Type System with Uniqueness Information for Graphs (1993)

by Smetsers Sjaak, Erik Barendsen, Marko