Müller, Wolfgang, et al. “The Formal Execution Semantics of SpecC.”10.1145/581199.581234 __Proceedings of the ISS, 2002, doi:10.1145/581199.581234 .
LibreCat: /record/39382
DOI: 10.1145/581199.581234 

Geiger, Christian, et al. “Visual Specification, Modeling, and Illustrations of Complex Systems.”10.1109/HICSS.1999.772621__Proceedings of HICSS-32, 1999, doi:10.1109/HICSS.1999.772621.
LibreCat: /record/39487
DOI: 10.1109/HICSS.1999.772621