Programmable Messaging for Electronic Government - Building a Foundation - Formal Methods and Hybrid Real-Time Systems - page 236

References
1. Abrial, J.R.: The B Book. Cambridge Univeristy Press, Cambridge (1996)
2. Alonso, G., et al.: Web Services, Concepts, Architectures and Applications.
Springer, Heidelberg (2004)
3. Apache.The Apache XML Project - XMLBeans, http://xmlbeans.apache.org
4. Derrick, J., Boiten, E.: Refinement in Z and Object-Z. Springer, Heidelberg (2001)
5. Dickman, A.: Designing Applications with MSMQ. Addison Wesley, Reading (1998)
6. Estevez, E., Janowski, T.: Government-Enterprise Ecosystem Gateway (G-EEG)
for Seamless e-Government. In: 40th Hawaii International Conference on System
Sciences, IEEE, Los Alamitos (2007)
7. Estevez, E., Janowski, T.: Building a Dependable Messaging Infrastructure for
Electronic Government. In: 2nd International Workshop on Dependability and Se-
curity in e-Government, part of International Conference on Availability, Reliability
and Security, IEEE, Los Alamitos (2007)
8. Field, T., Muller, E., Law, E.: The e-Government Imperative. Organization for
Economic Co-operation and Development (OECD) (2003)
9. Hibernate. Relational Persistence for Java and .Net, http://www.hibernate.org
10. Hoare, C.A.R.: Communicating Sequential Processes. Prentice Hall, Englewood
Cliffs (1985)
11. IBM. WebSphere, www.ibm.com/software/websphere
12. Ojo, A., Oteniya, G., Fong, C.K., Estevez, E., Janowski, T.: Electronic Delivery
of Licensing Services - Development Document. Macao e-Government Project (e-
Macao) (October 2005), http://www.emacao.gov.mo/documents/04/report5.pdf
13. Jones, C.: Systematic Software Development using VDM. Prentice Hall, Englewood
Cliffs (1990)
14. Milner, R.: Communication and Concurrency. Prentice Hall International, Engle-
wood Cliffs (1989)
15. Milner, R.: Communicating and Mobile Systems: the Pi-Calculus. Cambridge Uni-
versity Press, Cambridge (2000)
16. MySQL. MySQL Database Engine, http://www.mysql.org
17. Ray, E.: Learning XML. O' Reilly (2001)
18. Ronaghan, S.: Benchmarking e-Government: A Global Perspective. Assessing the
UN Member States. United Nations Division for Public Economics and Public
Administration and American Society for Public Administration (2002), http://
unpan1.un.org/intradoc/groups/public/documents/UN/UNPAN021547.pdf
19. Sun Developer Network, Java Message Service, http://java.sun.com/

products/jms
20. Texas Government. Seamless Government Issues (2000), www.dir.state.tx.us/
taskforce/report/seamless.pdf
21. RAISE Language Group, T.: The RAISE Specification Language. BCS Practitioner
Series. Prentice Hall, Englewood Cliffs (1992)
22. The RAISE Method Group.: The RAISE Development Method. BCS Practi-
tioner Series. Prentice Hall, Englewood Cliffs (1995), ftp://ftp.iist.unu.edu/
pub/RAISE/method book
23. Turner, E., Nicoll, P.: Electronic Service Delivery, including Internet Use, by Com-
monweath Government Agencies. Australian National Audit Oce (1999)
24. World Wide Web Consortium. XML Schema, Technical Report. (October 2004),
http://www.w3.org/XML/Schema
25. World Wide Web Consortium. XSLT - XSL Transformations, http://www.w3.org/
TR/xslt
26. WebMethods Enterprise. WebMethods, www.webmethods.com/meta/default/

folder/0000005452