A description of a first course in assembler language. - John D. McCharen (ACM SIGCSE Bull., 1974)

Problems and Experiments for and with Automated Theorem-Proving Programs. - John D. McCharen; Ross A. Overbeek; Larry Wos (IEEE Trans. Computers, 1976)