Müller, Wolfgang, Rainer Dömer, and Andreas Gerstlauer. “The Formal Execution Semantics of SpecC.”https://doi.org/10.1145/581199.581234 __In Proceedings of the ISS. Nagoya, Japan, 2002.https://doi.org/10.1145/581199.581234  .

Geiger, Christian, G. Lehrenfeld, and Wolfgang Müller. “Visual Specification, Modeling, and Illustrations of Complex Systems.”https://doi.org/10.1109/HICSS.1999.772621__In Proceedings of HICSS-32. Maui, Hawaii, 1999.https://doi.org/10.1109/HICSS.1999.772621 .