See LispMachine.