Embeds the paralation model in Common LISP. Available from MIT Press, (800)356-0343.
Try this search on Wikipedia, OneLook, Google