LISP 1.5 Based on
PIVOT Input language Input language for
QA4 Influence

Program verification