An embedded language approach to hardware description and verification (2000)

by Koen Claessen