Chris George Heap Storage Specification and Development. 97-105 1987 conf/fm/1987 VDM Europe db/conf/fm/vdme1987.html#George87 http://dx.doi.org/10.1007/3-540-17654-3_7