Dodd, A.

1952

• Computing
• Prolog
• The core model