From transistors to computer architecture: Teaching functional circuit specification in hydra (1995)

by John O'Donnell
Venue:In Functional Programming Languages in Education, volume 1022 of LNCS