K.: Automatic formal synthesis of hardware from higher order logic (2006)

by M Gordon, J Iyoda, S Owens, Slind