Symmetric and efficient synthesis

Rüdiger Ehlers. Symmetric and efficient synthesis. PhD thesis, Universität Saarbrücken, 2013.

Bibliographies