Lava: Hardware Design in Haskell (1998)

by Per Bjesse, Koen Claessen, Mary Sheeran