[bib01_001] [Acc02] Accellera. SystemVerilog 3.0: Accellera’s Extensions to Verilog, 2002.

[bib01_002] [AK01] Perry Alexander and Cindy Kong. Rosetta: Semantic support for model-centered systems-level design. IEEE Computer, 34(11):64–70, November 2001.

[bib01_003] [Ash96] P. Ashenden. The Designers Guide to VHDL. Morgan Kaufmann Publishers, San Mateo, CA, 1996.

[bib01_004] [BCSS98] Per Bjesse, Koen Claessen, Mary Sheeran, and Satnam Singh. Lava: Hardware design in haskell. In Proceedings of the Third ACM SIGPLAN International Conference on Functional Programming, pages 174–184, Baltimore, MD, September 1998. In ACM SIGPLAN Notices, 34(1), January 1999.

[bib01_005] [BPA95] P. Baraona, J. Penix, and P. Alexander. Vspec: A declarative requirements specification language for vhdl. In Jean-Michel Berge, Oz Levia, and Jacques Rouillard, editors, High-Level System Modeling: Specification Languages, volume 3 of Current Issues in Electronic Modeling, chapter 3, pages 51–75. Kluwer Academic Publishers, Boston, MA, 1995.

[bib01_006] [BPSV01] J. R. Burch, R. Passerone, and A. L. Sangiovanni-Vincentelli. Overcoming heterophobia: Modeling concurrency in heterogeneous systems. In Proceedings of the Second International Conference on Application of Concurrency to System Design, Newcastle upon Tyne, UK, June 2001.

[bib01_007] [CDE+] M. Clavel, F. Duran, S. Eker, P. Lincoln, N. MartiOliet, J. Meseguer, and J. Quesada. Maude: Specification and Programming in Rewriting Logic. SRI International. System Documentation.

[bib01_008] [dAH01] Luca de Alfaro and Thomas A. Henzinger. Interface automata. In ESEC/FSE 01: Proceedings of the Joint 8th European Engineering Conference and 9th Symposium on the Foundations of Software Engineering, pages 109–120, Vienna, Austria, September 2001.

[bib01_009] [Dav00] J. Davis et al. Ptolemy II—Heterogeneous concurrent modeling and design in java, University of California, Berkeley, CA, 2000.

[bib01_010] [Dij92] Edsger J. Dijkstra. On the economy of doing mathematics. In R. S. Bird, C. C. Morgan, and J. C. P. Woodcock, editors, Mathematics of Program Construction, volume LNCS 669, pages 2–10. Springer-Verlag, New York, NY, 1992.

[bib01_011] [EM85] H. Ehrig and B. Mahr. Fundamentals of Algebraic Specifications 1: Equations and Initial Semantics. EATCS Mongraphs on Theoretical Computer Science. Springer-Verlag, Berlin, 1985.

[bib01_012] [FKN+92] A. Finkelstein, J. Kramer, B. Nuseibeh, L. Finkelstein, and M. Goedicke. Viewpoints: A framework for integrating multiple perspectives in system development. International Journal of Software Engineering and Knowledge Engineering, 2(1):31–58, March 1992. World Scientific Publishing Co.

[bib01_013] [GH93] John V. Guttag and James J. Horning. Larch: Languages and Tools for Formal Specification. Springer-Verlag, New York, NY, 1993.

[bib01_014] [GLMS02] T. Grötker, S. Liao, G. Martin, and S. Swan. System Design with SystemC. Kluwer Academic Press, Dordrecht, The Netherlands, 2002.

[bib01_015] [Gri81] D. Gries. The Science of Programming. Texts and Monographs in Computer Science. Springer-Verlag, New York, NY, 1981.

[bib01_016] [Gro97a] The UML Group. UML Metamodel. Rational Software Corporation, Santa Clara, CA, 1.1 edition, September 1997. http://www.rational.com.

[bib01_017] [Gro97b] The UML Group. UML Semantics. Rational Software Corporation, Santa Clara, CA, 1.1 edition, July 1997. http://www.rational.com.

[bib01_018] [GWM⁺93] Joseph Goguen, Timothy Winkler, José Meseguer, Kokichi Futatsugi, and Jean-Pierre Jouannaud. Introducing OBJ. In Joseph Goguen, editor, Applications of Algebraic Specification Using OBJ. Cambridge, MA, 1993.

[bib01_019] [Heh93] Eric C. R. Hehner. A Practical Theory of Programming. Texts and Monographs in Computer Science. Springer-Verlag, New York, NY, 1993.

[bib01_020] [Hen96] Thomas A. Henzinger. The theory of hybrid automata. In Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science, pages 278–292, New Brunswick, NJ, July 1996.

[bib01_021] [HHK01] Thomas A. Henzinger, Benjamin Horowitz, and Christoph Meyer Kirsch. Giotto: A time-triggered language for embedded programming. Lecture Notes in Computer Science, 2211:166+, 2001.

[bib01_022] [Hoa85] C.A.R. Hoare. Communicating Sequential Processes. Prentice-Hall, Englewood Cliffs, NJ, 1985.

[bib01_023] [Hud00] P. Hudak. The Haskell School of Expression. Cambridge University Press, New York, NY, 2000.

[bib01_024] [Hut99] Graham Hutton. A tutorial on the universality and expressiveness of fold. Journal of Functional Programming, 9(4):355–372, 1999.

[bib01_024a] [::I] Iso 10646-1:2001 unicode 3.2 standard. ISO Standard.

[bib01_025] [IEE94] IEEE Standard VHDL Language Reference Manual. IEEE, New York, NY, 1994.

[bib01_026] [IEE95] Standard Verilog Hardware Description Language Reference Manual, IEEE, New York, NY, 1995.

[bib01_027] [Jon90] C. B. Jones. Systematic Software Development Using VDM. International Series in Computer Sience. Prentice Hall, New York, NY, 2^nd edition, 1990.

[bib01_028] [Jon03] Simon Peyton Jones. Haskell 98 Language and Libraries. Cambridge University Press, New York, NY, 2003.

[bib01_029] [JR97] Bart Jacobs and Jan Rutten. A tutorial on (co)algebras and (co)induction. EATCS Bulletin 62: 222–259, 1997.

[bib01_030] [KA02a] C. Kong and P. Alexander. Modeling model of computation ontologies in Rosetta. In Proceedings of the Formal Specification of Computer-Based Systems Workshop (FSCBS’02), Lund, Sweden, March 2002.

[bib01_031] [KA02b] C. Kong and P. Alexander. Multi-faceted requirements modeling and analysis. In Proceedings of the IEEE Joint International Requirements Engineering Conference (RE’02), Essen, Germany, September 9–13, 2002.

[bib01_032] [Mee95] Lambert Meertens. Category theory for program construction by calculation. CWI, Amsterdam and Department of Computing Science, Utrecht University, The Netherlands, September 1995.

[bib01_033] [MFP91] Erik Meijer, Maarten Fokkinga, and Ross Paterson. Functional programming with bananas, lenses, envelopes and barbed wire. In J. Hughes, editor, Proceedings of the 5th ACM Conference on Functional Programming Languages and Computer Architecture, FPCA’91, Cambridge, MA, USA, 26–30 Aug 1991, volume 523, pages 124–144. Springer-Verlag, Berlin, 1991.

[bib01_034] [Mil99] Robin Milner. Communicating and Mobile Systems: The π-Calculus. Cambridge University Press, New York, NY, 1999.

[bib01_035] [Mog90] Eugenio Moggi. An abstract view of programming languages. Technical Report ECS-LFCS-90-113, Dept. of Computer Science, Edinburgh University, Edinburgh, Scotland, 1990.

[bib01_036] [Mog91] Eugenio Moggi. Notions of computation and monads. Information and Computation, 93(1):55–92, 1991.

[bib01_037] [ORS92] S. Owre, J. Rushby, and N. Shankar. PVS: A prototype verification system. In D. Kapur, editor, Proceedings of 11th International Conference on Automated Deduction, volume 607 of Lecture Notes in Artificial Intelligence, pages 748–752, Saratoga, NY, June 1992. Springer-Verlag, Berlin.

[bib01_038] [Pie91] B. Pierce. Basic Category Theory for Computer Scientists. The MIT Press, Cambridge, MA, 1991.

[bib01_039] [Pie02] Benjamin C. Pierce. Types and Programming Languages. The MIT Press, Cambridge, MA, 2002.

[bib01_040] [Pie03] Benjamin C. Pierce. Types and programming languages: The next generation. Slides presented at IEEE Symposium on Logic in Computer Science (LICS), Ottawa, Canada, June 2003.

[bib01_041] [Sch86] David A. Schmidt. Denotational Semantics: A Methodology for Language Development. Allyn & Bacon, Inc., Boston, MA, 1986.

[bib01_042] [Smi90] Douglas R. Smith. KIDS: A Semiautomatic Program Development System. IEEE Transactions on Software Engineering, 16(9):1024–1043, 1990.

[bib01_043] [Spi92] J. M. Spivey. The Z Notation: A Reference Manual. International Series in Computer Science. Prentice Hall, New York, NY, 2^nd edition, 1992.

[bib01_044] [Sto77] Joseph E. Stoy. Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory. The MIT Press, Cambridge, MA, 1977.

[bib01_045] [TM96] D. E. Thomas and P. R. Moorby. The Verilog Hardware Description Language. Kluwer Academic Publishers, Boston, MA, 3^rd edition, 1996.

[bib01_046] [UV05] Tarmo Uustalu and Varmo Vene. The essence of dataflow programming. In K. Yi, editor, Proceedings of APLAS’05—Lecture Notes in Computer Science, volume 3780, pages 2–18. Springer-Verlag, Berlin, 2005.

[bib01_047] [VHL89] I. Van Horebeek and J. Lewi. Algebraic Specifications in Software Engineering: An Introduction. Springer-Verlag, Berlin, 1989.

[bib01_048] [Wad92] P. Wadler. The essence of functional programming. In Conference Record of the Nineteenth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 1–14, Albuquerque, New Mexico, January 1992.

[bib01_049] [Wad97] P. Wadler. How to declare an imperative. ACM Computing Surveys, 29(3):240–263, 1997.

[bib01_050] [WD96] Jim Woodcock and Jim Davies. Using Z: Specification, refinement and Proof. Prentice Hall, Upper Saddle River, NJ, 1996.

[bib01_051] [Win90] J. Wing. A Specifier’s Introduction to Formal Methods. IEEE Computer, 23(9):8–24, September 1990.

[bib01_052] [Wor96] J. B. Wordsworth. Software Engineering with B. Addison Wesley Longman Ltd., Harlow, England, 1996.