Johnson, Steven D.,
Barwise, Jon K. and
Allwein, Gerard. 1996.
“Toward the Rigorous Use of Diagrams in Reasoning about Hardware.” in
Logical Reasoning with Diagrams, edited by Gerard
Allwein and Jon K.
Barwise, pp. 201–223. Oxford: Oxford University Press.