1. Alpuente, M., Ballis, D., Falaschi, M.: A rewriting-based framework for web sites verification. In: Proc. 5th Int. W.shop on Rule-based Programming RULE. Elsevier Science, Amsterdam (2004)
2. Back, R.J.R.: On the Correctness of Refinement Steps in Program Development. PhD thesis, University of Helsinki, Also available as report A-1978-5 (1978)
3. Lecture Notes in Computer Science;R.J.R. Back,1990
4. Chandy, K.M., Misra, J.: Parallel Program Design – A Foundation. Addison-Wesley Publishing Company, Inc., Reading (1988)
5. Daconta, M.C., Obrst, L.J., Smith, K.T.: The Semantic Web: A Guide to the Future of XML, Web Services, and Knowledge Management (2003)