"Axiomatics for memory allocation". /Статья прислана на проверку для издания в журнале Acta Informatica./
