Conditional and typed rewriting systems : материалы временных коллективов / Ed.: S. Kaplin, M. Okada, 1991. - X,461 p. p. - Текст : непосредственный.
Advances in computer science - Asian 2006. secure software and related issues : 11th Asian computing science conference, Tokyo, Japan, December 6-8, 2006: revised selected papers / SpringerLink (Online service), 2008 r=on-line. - Текст : электронный.