The FLaSH project: Resource-aware synthesis of declarative specifications (2000)

by Alan Mycroft, Richard Sharp
Venue:In International Workshop on Logic Synthesis