"Facet: A procedure for the automated synthesis of digital systems."

Chia-Jeng Tseng, Daniel P. Siewiorek (1983)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics