@book{InterLisp,
  author	= {Teitelman, W.},
  year		= {1978},
  title		= {Interlisp Reference Manual},
  publisher	= {Xerox Palo Alto Research Center}
}