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