Walter Pitts and "A Logical Calculus". - Mark Schlatter; Ken Aizawa (Synth., 2008)

Analyzing Two-Color Babylon. - Mark H. Goadrich; Mark Schlatter (Integers, 2011)