The SAL9000 History