Observable sharing for functional circuit description (1999)

by Koen Claessen, David Sands
Venue:In Asian Computing Science Conference