Model checking recursive programs interacting via the heap. - Asăvoae, I.M.; de Boer, F.; Bonsangue, M.M.; Lucanu, D.; Rot, J. (Science of Computer Programming, 2015)