The standard specc language (2001)

by Masahiro Fujita, Hiroshi Nakamura
Venue:In Proceedings of the 14th international symposium on Systems synthesis, ISSS ’01