@incollection{Fisler-VIL96
 ,  author = "Kathryn Fisler"
 ,  title = "Exploiting the potential of diagrams in guiding hardware reasoning"
 ,  editor = "Gerard Allwein and Jon Barwise"
 ,  booktitle= "Logical Reasoning with Diagrams"
 ,  publisher = "Oxford University Press"
 ,  year = "1996"
 ,  note = "In press"
  }

@techreport{Fisler-TR416
 ,  author = "Kathryn Fisler"
 ,  title = "A logical formalization of hardware design diagrams"
 ,  institution= "Indiana University Computer Science Department"
 ,  year = "1995"
 ,  type = "Technical Report"
 ,  number = "416"
 ,  month = sep
 ,  url = "ftp://ftp.cs.indiana.edu/pub/techreports/TR416.ps.Z",
  }

@INPROCEEDINGS{Fisler-Johnson-CHDL95
 ,  author = "Kathryn Fisler and Steven D. Johnson"
 ,  title = "Integrating design and verification envrionments through a
		logic supprting hardware diagrams"
 ,  BOOKTITLE = "Procedings of the 1995 IFIP International Conference on
		Computer Hardware Description Languages and Their Applications"
 ,  YEAR = "1995"
 ,  PUBLISHER = "IEEE Cat. No. 95TH8102"
 ,  MONTH = sep
 ,  PAGES = "669-674"
 ,  NOTE = "CHDL proceedings pp. 493-696 of the ``ACV'95'' held
               August 29 to September 1, 1995, Chiba, Japan"
}

@book{ProsserWinkel87c,
     AUTHOR = "Prosser, Franklin and David Winkel",
     TITLE = "The Art of Digital Design",
     EDITION = "Second",
     PUBLISHER = "Prentice Hall",
     ADDRESS = "Englewood Cliffs NJ",
     YEAR = "1987  "
    }