Random-Access Stored-Program Machines, an Approach to Programming LanguagesCalvin C. ElgotAbraham Robinson1964Journal of the ACM
