\def\lisp{\textbf{Lisp}}
\def\haskell{\textbf{Haskell}}
\def\pvs{\textbf{PVS}}
\def\clang{\textbf{C}}
\def\isabelle{\textbf{Isabelle}}
