T. Leize, "A Bus-Type independent software interface to different bus systems," in Proceedings of International Conference on Sensors and Related Networks (Sennet'09), J. P. Raina, M. Khalid, Z. P. Alex, S. K. Sudheer, S. A. V. Satya Murthy, P. Vekanta Krishna, and I. Srinivasa Rao, Eds., vol. 1. VIT University, Dec. 2009, pp. K39-K42.

Markus Holzer, Frank Schumacher, Ivan Flores, Thomas Greiner, Wolfgang Rosenstiel:

M. Holzer, T. Greiner, Accelerating Form Based Image Preprocessing with Digital Hardware, 10th Heidelberg Innovation Forum, Studio Villa Bosch, Heidelberg Germany, April 2011.

Publiziert auf der XXV Conference on Design of Circuits and Integrated Systems (DCIS 2010), Lanzarote, 17-19 November 2010.

Abstract:
In the past, imperative software programming languages have catched on as
the default way of describing hardware designs on higher levels of abstraction.
There are, however, good reasons why the functional programming
paradigm fits, at least in certain domains like cryptography, more naturally for designing hardware.

This paper describes the languages, tools and techniques to design
cryptographic hardware with functional programming techniques.