Andrei P. Ershov Axiomatics for Memory Allocation. 61-75 1976 6 Acta Inf. db/journals/acta/acta6.html#Ershov76