[1]
Patrick Cousot , Radhia Cousot, Systematic design of program analysis frameworks, Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, p.269-282, January 29-31, 1979, San Antonio, Texas  [doi>10.1145/567752.567778]
	
[2]
Patrick Cousot , Radhia Cousot, Systematic design of program transformation frameworks by abstract interpretation, Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.178-190, January 16-18, 2002, Portland, Oregon  [doi>10.1145/503272.503290]
 	
[3]
Yuri Gurevich, Evolving algebras 1993: Lipari guide, Specification and validation methods, Oxford University Press, Inc., New York, NY, 1995
 	
[4]
Ali Habibi , Sofiene Tahar, Design for Verification of SystemC Transaction Level Models, Proceedings of the conference on Design, Automation and Test in Europe, p.560-565, March 07-11, 2005  [doi>10.1109/DATE.2005.112]
 	
[5]
A. Habibi and S. Tahar. AsmL fixpoint semantics. Technical report, Department of ECE, Concordia University, December 2004
 	
[6]
A. Habibi and S. Tahar. SystemC fixpoint semantics. Technical report, Department of ECE, Concordia University, December 2004
 	
[7]
F. Logozzo. Analyse Statique Modulaire de Langages à Objets. PhD thesis, Ecole Polytechnique, Paris, France, June 2004
 	
[8]
Microsoft Corp. AsmL for Microsoft .NET framework, 2004
 	
[9]
Müller, W., Ruf, J. and Rosenstiel, W., SystemC Methodologies and Applications. 2003. Kluwe Academic Pub.
 	
[10]
Peter D. Mosses, Denotational semantics, Handbook of theoretical computer science (vol. B): formal models and semantics, MIT Press, Cambridge, MA, 1991
 	
[11]
http://www.systemc.org
 	
[12]
K. Oumalou, A. Habibi, and S. Tahar. Design for verification of a PCI bus in SystemC. In Symposium on System-on-Chip, Finland, November 2004
 	
[13]
Ashraf Salem, Formal Semantics of Synchronous SystemC, Proceedings of the conference on Design, Automation and Test in Europe, p.10376, March 03-07, 2003