@inproceedings(BCS1998:lava,
 author       = "Per Bjesse and Koen Claessen and Mary Sheeran",
 year         = "1998",
 title        = "Lava: Hardware Design in Haskell",
 booktitle    = "Proceedings of the third ACM SIGPLAN International Conference on Functional Programming",
 publisher    = "ACM",
 pages        = "174--184",
 doi          = "10.1145/289423.289440",
)
@book(HH:DigDesignCompArch,
 author       = "David Money Harris and Sarah L. Harris",
 year         = "2013",
 title        = "Digital Design and Computer Architecture",
 edition      = "second",
 publisher    = "Elsevier",
 doi          = "10.1016/B978-0-12-394424-5.00004-5",
 note         = "ISBN 978-0-12-394424-5",
)
@inproceedings(J84-app-prog-dig-design,
 author       = "Steven D. Johnson",
 year         = "1984",
 title        = "Applicative Programming and Digital Design",
 booktitle    = "11th Annual ACM Symposium on Principles of Programming Languages",
 publisher    = "ACM",
 pages        = "218--227",
 doi          = "10.1145/800017.800533",
)
@book(NisanSchocken2005:ElementsCompSys,
 author       = "Noam Nisan and Shimon Schocken",
 year         = "2005",
 title        = "The Elements of Computing Systems: Building a Modern Computer from First Principles",
 publisher    = "The MIT Press",
 note         = "ISBN 0-262-14087-X",
)
@inproceedings(1995-OD-Hydra-FPLE,
 author       = "John O'Donnell",
 year         = "1995",
 title        = "From transistors to computer architecture: Teaching functional circuit specification in {Hydra}",
 booktitle    = "FPLE'95: Symposium on Functional Programming Languages in Education",
 series       = "LNCS",
 volume       = "1022",
 publisher    = "Springer-Verlag",
 pages        = "195--214",
 doi          = "10.1007/3-540-60675-0\_46",
)
@inproceedings(2002-OD-PDSECA-Hydra,
 author       = "John O'Donnell",
 year         = "2002",
 title        = "Overview of {Hydra}: A Concurrent Language for Synchronous Digital Circuit Design",
 booktitle    = "Proceedings 16th International Parallel \& Distributed Processing Symposium",
 publisher    = "IEEE Computer Society",
 pages        = "234 (abstract)",
 doi          = "10.1109/IPDPS.2002.1016653",
 note         = "Workshop on Parallel and Distribued Scientific and Engineering Computing with Applications---PDSECA",
)
@article(2004-ODR-Adder-JFP,
 author       = "John O'Donnell and Gudula R\"unger",
 year         = "2004",
 title        = "Derivation of a Logarithmic Time Carry Lookahead Addition Circuit",
 journal      = "Journal of Functional Programming",
 volume       = "14",
 number       = "6",
 pages        = "697--713",
 doi          = "10.1017/S0956796804005180",
)
@book(PH1998-CompOrgDesHSInterface,
 author       = "David A. Patterson and John L. Hennessy",
 year         = "1998",
 title        = "Computer Organization \& Design: The Hardware/Software Interface",
 edition      = "second",
 publisher    = "Morgan Kaufmann",
)
@book(W2000-DigDesign-Principles,
 author       = "John F. Wakerly",
 year         = "2000",
 title        = "Digital Design: Principles \& Practices",
 edition      = "third",
 publisher    = "Prentice Hall International",
)
@book(WP1986-ArtDigDesign,
 author       = "David E. Winkel and Franklin P. Prosser",
 year         = "1986",
 title        = "The Art of Digital Design: An Introduction to Top-down Design",
 edition      = "second",
 publisher    = "Prentice-Hall",
)