Mihai Codescu. Architectural refinement in Hets. PhD thesis, University of Bremen, 2012. [doi]
@phdthesis{dnb-2747, title = {Architectural refinement in Hets}, author = {Mihai Codescu}, year = {2012}, url = {http://d-nb.info/107204725X}, researchr = {https://researchr.org/publication/dnb-2747}, cites = {0}, citedby = {0}, school = {University of Bremen}, }