Building Expert Systems in Prolog

Leighton & Murray 1966

Matrioshka Brains

Design Principles Behind Smalltalk

Burrough 1981

Morse_et_al 1985