Letter to the Editor - The Distribution of Stock Price Differences: Gaussian After All? - Josef Brada; Harry Ernst; John Van Tassel (Oper. Res., 1966)

Specifying and Automatically Generating Ada Tasks in Prolog. - John Van Tassel; David Hemmendinger (ACM Conference on Computer Science, 1990)

Experience with Embedding Hardware Description Languages in HOL. - Richard J. Boulton; Andrew D. Gordon 001; Michael J. C. Gordon; John Harrison 001; John Herbert; John Van Tassel (TPCD, 1992)

A Formalisation of the VHDL Simulation Cycle. - John Van Tassel (TPHOLs, 1992)

Femto-VHDL : the semantics of a subset of VHDL and its embedding in the HOL proof assistant. - John Van Tassel (1993)