Weak reference abstruction