1. Bergstra, J.A., Ponse, A., Smolka, S.A. (eds.): Handbook of Process Algebra. North Holland, Amsterdam (2001)
2. Lecture Notes in Artificial Intelligence;M. Dastani,2001
3. de la Encina, A., Hidalgo-Herrero, M., Rabanal, P., Rubio, F., Rodríguez, I.: Testing entities in a parallel cognitive language. In: Fifth IEEE International Conference on Cognitive Informatics. IEEE-CS Press, Los Alamitos (2006)
4. Lecture Notes in Computer Science;T. Eymann,2001
5. Flax, L.: Cognitive modeling using a logic-based algebra. In: Fourth IEEE International Conference on Cognitive Informatics, pp. 37–42. IEEE-CS Press, Los Alamitos (2005)