Function interface models for hardware compilation : types, signatures, protocols by Dan Ghica. Published by University of Birmingham, School of Computer Science in 2008. Publication and catalogue information, links to buy online and reader comments.