Radetzki, Martin (2000) Synthesis of digital circuits from object-oriented specifications. PhD, Universität Oldenburg.