1. Buntine, W., Fischer, B., Gray, A.G.: Automatic derivation of the multinomial PCA algorithm. Technical report, NASA/Ames (2003), Available at: http://ase.arc.nasa.gov/people/fischer/
2. Buntine, W.L.: Operations for learning with graphical models. JAIR 2, 159–225 (1994)
3. Clavel, M., Durán, F., Eker, S., Lincoln, P., Martí-Oliet, N., Meseguer, J., Quesada, J.F.: Maude: specification and programming in rewriting logic. Theoretical Computer Science 285(2), 187–243 (2002)
4. Cordy, J.R., Carmichael, I.H., Halliday, R.: The TXL Programming Language, Version 8 (April 1995)
5. AMAST Series in Computing;A. Deursen van,1996