\begin{thebibliography}{1}

\bibitem{Fisler-VIL96}
Kathryn Fisler.
\newblock Exploiting the potential of diagrams in guiding hardware reasoning.
\newblock In Gerard Allwein and Jon Barwise, editors, {\em Logical Reasoning
  with Diagrams}. Oxford University Press, 1996.
\newblock In press.

\bibitem{Fisler-Johnson-CHDL95}
Kathryn Fisler and Steven~D. Johnson.
\newblock Integrating design and verification envrionments through a logic
  supprting hardware diagrams.
\newblock In {\em Procedings of the 1995 IFIP International Conference on
  Computer Hardware Description Languages and Their Applications}, pages
  669--674. IEEE Cat. No. 95TH8102, September 1995.
\newblock CHDL proceedings pp. 493-696 of the ``ACV'95'' held August 29 to
  September 1, 1995, Chiba, Japan.

\bibitem{ProsserWinkel87c}
Franklin Prosser and David Winkel.
\newblock {\em The Art of Digital Design}.
\newblock Prentice Hall, Englewood Cliffs NJ, second edition, 1987.

\end{thebibliography}