@phdthesis{Rad2000,
Author = {Radetzki, Martin},
Title = {Synthesis of Digital Circuits from Object-Oriented Specifications},

Year = {2000},
Month = {04},
type = {phdthesis}
}
@COMMENT{Bibtex file generated on }