A semantic model of reference counting and its abstraction (detailed summary) | Synapse