1. H.P. Barendregt: Functional programming and lambda calculus. In: J. van Leeuwen (ed.): Handbook of theoretical computer science. Vol. B: Formal models and semantics. Amsterdam: Elsevier 1990, 321–363
2. Lect Notes Comput Sci;J.A. Bergstra,1998
3. P. Bjesse, K. Claessen, M. Sheeran, S. Singh: Lava: hardware design in Haskell. Proc. ACM International Conf. Functional Programming’ 98, Baltimore (to appear).
4. M. Broy, G. Stefánescu: The algebra of stream processing functions. Institut für Informatik, TU München, Report TUM-I9620, 1996
5. R. Boute: A declarative formalism supporting hardware/software codesign. In: J. Rozenblit, K. Buchenrieder (eds.): Codesign — computer-aided software/ hardware engineering. Piscataway: IEEE Press 1995, 41–66