1. Aagaard, M., and Leeser, M. Reasoning about pipelines with structural hazards. In Second International Conference on Theorem Provers in Circuit Design Bad Herrenalb, Germany, Sept. 1994).
2. Bird, R., and Wadler, P. Introduction to Functional Programming. Prentice Hall International Series in Computer Science. Prentice Hall, 1988.
3. Bird, R. S., and Moor, O. D. Algebra of Programming. Prentice Hall, 1996.
4. Cook, B., Launchbury, J., and Matthews, J. Specifying superscalar microprocessors in Hawk. In FTH’98, Workshop on Formal Techniques for Hardware and Hardware-like Systems (Marstrand, Sweden, June 1998).
5. Gill, A., Launchbury, J., and Peyton Jones, S. L. A Short Cut to Deforestation. In FPCA’93, Conference on Functional Programming Languages and Computer Architecture (Copenhagen, Denmark, June 1993), ACM Press, pp. 223–232.