Towards a HOL Theory and Memory. - Jean-Paul Bodeveix; Mamoun Filali; P. Roche (TPHOLs, 1994)