See LispMachinesIncorporated.