[1] Symbolic Automatic Integrator
[2] Satellite Interceptor (->"IEEE Standard Dictionary")