J. S. Weening

Parallel execution of LISP programs

J. S. Weening, 1990 .

EKL - an interactive proof checker user''s reference manual

Joseph S. Weening, Jussi Ketonen, J. S. Weening, 1984 .

The language of an interactive proof checker

Joseph S. Weening, Jussi Ketonen, J. S. Weening, 1983 .

A Parallel Lisp Simulator

J. S. Weening, 1988 .