1. Alur, R., Grosu, R., Hur, Y., Kumar, V., Lee, I.: Modular specification of hybrid systems in CHARON. In: Lynch, N.A., Krogh, B.H. (eds.) HSCC 2000, vol. 1790, pp. 6–19. Springer, Heidelberg (2000)
2. Barringer, H.: The Future of Imperative Logic. British Colloquium for Theoretical Computer Science (1990)
3. Lecture Notes in Math.;N. Boboc,1992
4. Bujorianu, M.C., Bujorianu, M.L.: Towards Hilbertian Formal Methods. In: Proc. of Conf. on Application of Concurrency to System Design, IEEE Press, Los Alamitos (2007)
5. Bujorianu, M.C., Bujorianu, M.L.: An Integrated Specification Framework for Embedded Systems. In: Proc. of SEFM. IEEE Press, Los Alamitos (2007)