Daniel D. Gajski, Jianwen Zhu, Rainer Doemer, Andreas Gerstlauer, and Shuqing Zhao, SpecC: Specification Language and Methodology, Springer, ISBN 978-0792378228, March 2000.
view details