Jurriaan Rot, Frank S. de Boer, Marcello M. Bonsangue: Unbounded Allocation in Bounded Heaps. FSEN 2013: 1-16