"A framework for exact synthesis."

Vadym Kliuchnikov, Jon Yard (2015)
a service of Schloss Dagstuhl - Leibniz Center for Informatics