César Augusto Missio Marcon, Ney Laert Vilar Calazans, Fernando Gehm Moraes. Requirements, Primitives and Models for Systems Specification. In Proceedings of the 15th Annual Symposium on Integrated Circuits and Systems Design, SBCCI 2002, Porto Alegre, Brazil, September 9-14, 2002. pages 323-330, IEEE Computer Society, 2002. [doi]
Abstract is missing.