Per Bjesse, Koen Claessen & Mary Sheeran (1998):
Lava: Hardware Design in Haskell.
In: Proceedings of the third ACM SIGPLAN International Conference on Functional Programming.
ACM,
pp. 174–184,
doi:10.1145/289423.289440.
David Money Harris & Sarah L. Harris (2013):
Digital Design and Computer Architecture,
second edition.
Elsevier,
doi:10.1016/B978-0-12-394424-5.00004-5.
ISBN 978-0-12-394424-5.
Steven D. Johnson (1984):
Applicative Programming and Digital Design.
In: 11th Annual ACM Symposium on Principles of Programming Languages.
ACM,
pp. 218–227,
doi:10.1145/800017.800533.
Noam Nisan & Shimon Schocken (2005):
The Elements of Computing Systems: Building a Modern Computer from First Principles.
The MIT Press.
ISBN 0-262-14087-X.
John O'Donnell (1995):
From transistors to computer architecture: Teaching functional circuit specification in Hydra.
In: FPLE'95: Symposium on Functional Programming Languages in Education,
LNCS 1022.
Springer-Verlag,
pp. 195–214,
doi:10.1007/3-540-60675-0_46.
John O'Donnell (2002):
Overview of Hydra: A Concurrent Language for Synchronous Digital Circuit Design.
In: Proceedings 16th International Parallel & Distributed Processing Symposium.
IEEE Computer Society,
pp. 234 (abstract),
doi:10.1109/IPDPS.2002.1016653.
Workshop on Parallel and Distribued Scientific and Engineering Computing with Applications—PDSECA.
John O'Donnell & Gudula Rünger (2004):
Derivation of a Logarithmic Time Carry Lookahead Addition Circuit.
Journal of Functional Programming 14(6),
pp. 697–713,
doi:10.1017/S0956796804005180.
David A. Patterson & John L. Hennessy (1998):
Computer Organization & Design: The Hardware/Software Interface,
second edition.
Morgan Kaufmann.
John F. Wakerly (2000):
Digital Design: Principles & Practices,
third edition.
Prentice Hall International.
David E. Winkel & Franklin P. Prosser (1986):
The Art of Digital Design: An Introduction to Top-down Design,
second edition.
Prentice-Hall.