Health effects evaluation data file : data file design, abstraction, coding, and computerization of the 1977 and 1978 health hazard evaluation and technical assistance reports /

Mode of access: Internet.

Theorem proving with abstraction, part II /

Supported in part by the National Science Foundation under grant MCS 77-22830.

The evolution of programs : program abstraction and instantiation /

"NSF-MCS-79-04897."

Theorem proving with abstraction, part I /

"UILU-ENG 79-1706."

Pietas ecclesiae, or, Dissenters' text-book, being a review of England's hierarchy in its principles and practice.

Mode of access: Internet.

Remarks touching geography especially that of the British Isles, comprising strictures on the hierarchy of Great Britain,

Mode of access: Internet.