Müller, W., Dömer, R., &; Gerstlauer, A. (2002). The Formal Execution Semantics of SpecC. Proceedings of the ISS.https://doi.org/10.1145/581199.581234  
LibreCat: /record/39382
DOI: 10.1145/581199.581234 

Geiger, C., Lehrenfeld, G., &; Müller, W. (1999). Visual Specification, Modeling, and Illustrations of Complex Systems. Proceedings of HICSS-32. Proceedings of the 32nd Annual Hawaii International Conference on Systems Sciences 1999, Maui, Hawaii.https://doi.org/10.1109/HICSS.1999.772621 
LibreCat: /record/39487
DOI: 10.1109/HICSS.1999.772621