A system for interactive mathematics.
[Sammet 1969, p. 253-255].
(1994-11-15)
Try this search on Wikipedia, OneLook, Google