RISC RISC Research Institute for Symbolic Computation  
+ Internal